Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6945251
下载链接
链接失效反馈官方服务：
资源简介：
Benchmarks from the paper titled "An SMT-LIB Theory of Heaps" submtted to SMT 2022
benchmarks/
This directory contains all benchmarks (excluding SV-Comp sources).
- benchmarks/heap contains all heap benchmarks (smt2).
- benchmarks/heap2array 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
创建时间：
2022-08-01
