Goblitch SV-COMP 2026
·
357 commits
to master
since this release
Goblitch (Goblint + Witch) for SV-COMP 2026.
The verifier archive containing the Ubuntu 24.04 binary and auxiliary files is attached below.