Skip to content
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

Allow specifying CBMC custom flags from the command-line #2887

Closed
pwnorbitals opened this issue Nov 20, 2023 · 2 comments
Closed

Allow specifying CBMC custom flags from the command-line #2887

pwnorbitals opened this issue Nov 20, 2023 · 2 comments
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.

Comments

@pwnorbitals
Copy link

Proposed change: Allow specifying CBMC custom flags from the command-line

Motivation: In my case, CBMC hangs and I'm having a hard time understanding why. Giving a verbosity flag to cbmc would help me troubleshoot it wihtout recompiling Kani and needed a full dev environment.
@pwnorbitals pwnorbitals added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Nov 20, 2023
@zhassan-aws
Copy link
Contributor

Hi @pwnorbitals. Thanks for opening this issue. CBMC flags can be specified using --enable-unstable --cbmc-args <CBMC-FLAGS>, e.g. --enable-unstable --cbmc-args --verbosity 9.

Kani processes the output from CBMC though, so you may not see what you're looking for. If you want to disable the processing of output, you can run with --output-format old.

@pwnorbitals
Copy link
Author

Ah, nice ! My apologies, I missed this in the help page.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pwnorbitals @zhassan-aws