Update Goblint for SV-COMP 2024 (!374) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions · GitLab

Simmo Saan requested to merge goblint-svcomp24-conf into main Nov 01, 2023

Required for sosy-lab/benchmarking/fm-tools!29 (merged).