Skip to content

Update link to PDF with archived SV-COMP rules

Martin Spiessl requested to merge (removed):update-rules into main

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

Merge request reports