SV-COMP 2026

sim642 released this 27 Nov 08:24

· 336 commits to master since this release

bb55b70

Goblint version tags/svcomp26-0-gbb55b70d9 for SV-COMP 2026.

The verifier archive containing the Ubuntu 24.04 binary and auxiliary files is attached below.

Assets 3