Skip to content

SV-COMP 2021

Compare
Choose a tag to compare
@sim642 sim642 released this 03 Dec 10:20
· 12836 commits to master since this release

Goblint version svcomp21-0-g82e03b87 for SV-COMP 2021.

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