The source project of this merge request has been removed.
Update link to PDF with archived SV-COMP rules
This addresses #17. The organizer would still need to put a printed version of the rules on the SV-COMP 2022 website:
rules_2020-11-24.pdf
This should go here for this MR to make sense: https://sv-comp.sosy-lab.org/2022/rules_2020-11-24.pdf
Edited by Martin Spiessl