Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022

Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022 <strong>benchmarks/</strong><br> This directory contains all benchmarks (excluding SV-Comp sources).<br> - <strong>benchmarks/heap</strong> contains all heap benchmarks (smt2). <br> - <strong>benchmarks/heap2array</strong> contains all heap2array encoded benchmarks (smt2). The source benchmarks from SV-Comp 2022 (`.c` and `.i` files together with their accompanying `.yml` files) are not provided in this repository due to licensing reasons, but the files are freely available for download: https://zenodo.org/record/5831003/export/hx