Skip to content

SV-COMP 2021

Choose a tag to compare

View all tags
@sim642 sim642 released this 03 Dec 10:20
· 15347 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