Skip to content

SV-COMP 2024

Compare
Choose a tag to compare
@sim642 sim642 released this 24 Nov 13:52
· 2500 commits to master since this release

Goblint version tags/svcomp24-0-gc2e9465a7 for SV-COMP 2024.

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