Skip to content

Enable default analysis flags for CBMC version 6.0+ #8093

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

Merged
NlightNFotis merged 39 commits into from
Dec 13, 2023

Add negative default checks to ignore list of goto-instrument as well

9747f61
Select commit
Loading
Failed to load commit list.
Merged

Enable default analysis flags for CBMC version 6.0+ #8093

Add negative default checks to ignore list of goto-instrument as well
9747f61
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs