Skip to content
This repository has been archived by the owner on Oct 14, 2022. It is now read-only.

Releases: sosy-lab/sv-witnesses

svcomp21

03 Dec 11:27
Compare
Choose a tag to compare

Witness format as used in SV-COMP 2021.

This year we also introduced a linter that checks syntactic compliance with the format and which is part of this repository/release

svcomp18

05 Dec 10:00
2d0b212
Compare
Choose a tag to compare

Witness format as used in SV-COMP 2018.