New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improvements for SVCOMP 2025 #765

Merged

hernanponcedeleon merged 2 commits into development from svcomp2025

Nov 2, 2024

Owner

hernanponcedeleon commented Nov 2, 2024

This PR makes some improvements for SVCOMP 2025:

removes the llvm optimizations (I did some dryrun a few weeks ago and it did not seem to help much using them)
it enables the generation of witnesses for data-race violations (which were not required until the 2024 edition)
it skips the "trying to release an already released lock" assertion when AssertionType.USER is configured to be skipped.
moves some hardcoded options from the svcomp runner to the option file

hernan-poncedeleon added 2 commits

November 1, 2024 21:14


          Some updates for SVCOMP 2025

87ad4dc

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>


          Do not inline assert checking if a lock is released twice when we sho…

47ef5a3

…uld skip AssertionType.USER assertions

ThomasHaas approved these changes

View reviewed changes

Collaborator

ThomasHaas left a comment

LGTM

hernanponcedeleon merged commit c128407 into development

1 check passed

hernanponcedeleon deleted the svcomp2025 branch

November 2, 2024 11:49

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet