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

Set Kani's --default-unwind to 1 #3769

Open
celinval opened this issue Dec 9, 2024 · 0 comments
Open

Set Kani's --default-unwind to 1 #3769

celinval opened this issue Dec 9, 2024 · 0 comments
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-User Tag user issues / requests

Comments

@celinval
Copy link
Contributor

celinval commented Dec 9, 2024 •
edited
Loading

Currently Kani does not contain a default unwind, and users end up having issues with Kani consuming tons of memory, and unexpectedly freezing their computer. Instead, we should create an aggressive unwind default that will fail verification if there is no other unwind set.

We could consider adding #[unwind(auto)] option for cases where users want the harness to use auto unwinding.
@celinval celinval added [C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-User Tag user issues / requests labels Dec 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-User Tag user issues / requests
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@celinval