This repository contains the SMT-LIB v2.6 encodings of a subset of SV-COMP 2022 benchmarks from the reach-safety and the memsafety categories, encoded by TriCera and heap2array [1, 2
This repository contains the SMT-LIB v2.6 encodings of a subset of SV-COMP 2022 benchmarks from the reach-safety and the memsafety categories, encoded by TriCera and heap2array [1, 2]. The source benc
