-
Dirk Beyer authored
Rules did not change from SV-COMP 2021 to SV-COMP 2022, but let us still point to a fresh dump of the rules; fixes #17; replaces !215
Rules did not change from SV-COMP 2021 to SV-COMP 2022, but let us still point to a fresh dump of the rules; fixes #17; replaces !215