SV-COMP 2023 setup #859
Merged
SV-COMP 2023 setup #859
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sim642
added
sv-comp
Activations based on ReachSafety from Manuel Pietsch's BSc thesis.
sim642
commented
Oct 18, 2022
Happened in sv-benchmarks/c/systemc/pipeline.cil-1.
Member
|
We should also think about whether to enable the analysis that can keep more malloc'ed variables apart #722. |
Member
Author
According to #722 (comment), it made no difference, with 3 at least. If we want some higher value, we should do local sv-benchmarks experiments first (because the preruns turnaround time is much longer and they're currently limited to 60s anyway) to find such optimal value. Or maybe autotune needs to be adapted to also tune that. Since this setup has successfully passed a prerun, the Apron packaging stuff works, which was the main concern. I'll merge this so conflicts in #845 can be resolved. |
2 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR conflicts with #845 due to the changes in stubs structure.
TODO