This repository has been archived by the owner on Oct 3, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 170
Category Structure for SV-COMP 2020 #819
Comments
Status on 2019-11-16:
|
vaibhavbsharma
pushed a commit
to vaibhavbsharma/sv-benchmarks
that referenced
this issue
Nov 20, 2019
…ks, partially addresses issue sosy-lab#819
In the community meeting we discussed that for SV-COMP 2021 we should try to at least have a subset of the Juliet tasks. All that was left in this issue was the Juliet tasks if I see this correctly. |
I created a new issue for the category structure of SV-COMP 2021, cf. #1127 |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
How to best integrate new benchmark sets:
Add ldv-challenges to the category of large driver tasks.
The text was updated successfully, but these errors were encountered: