This repository has been archived by the owner on Oct 14, 2022. It is now read-only.
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