search

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)
https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
184 stars 169 forks source link

Info on SV-COMP 2022? #1305

Closed robdockins closed 2 years ago

robdockins commented 3 years ago

The page from the 2021 contest doesn't seem to be updated, and we're coming up relatively quickly on dates that were important to last year's competition (e.g., mid October for abstract submissions). I am hoping to submit a verifier for the first time this year, and it would be nice to know if there are relevant rule changes and such that might affect our submission preparations and to have an understanding of the timeline.

MartinSpiessl commented 2 years ago

I just remembered reading your post in my inbox and came back to see if someone already answered. Since this is not the case:

Currently I am not aware of any (major) rule changes. Best write the competition chair/organizer such that you will be on the SV-COMP mailing list. This will be @dbeyer again I think(see the footer of https://sv-comp.sosy-lab.org/2021/ for contact info).I expect there to be a (virtual) community meeting where we discuss this years competition season soon(though nothing concrete is scheduled yet).

PhilippWendler commented 2 years ago

For questions about SV-COMP that are not related to the benchmark suite of this repository, please use the SV-COMP mailing list.