Skip to content

SV-COMP 2021
Compare
Choose a tag to compare
@sim642 sim642 released this 03 Dec 10:20
· 12653 commits to master since this release
svcomp21
82e03b8

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

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

Assets 3
Loading