Skip to content

set kani default value to 1#3912

Draft
rajath-mk wants to merge 1 commit intomodel-checking:mainfrom
rajath-mk:unwind-default
Draft

set kani default value to 1#3912
rajath-mk wants to merge 1 commit intomodel-checking:mainfrom
rajath-mk:unwind-default

Conversation

@rajath-mk
Copy link
Contributor

Towards #3769

If no default unwind value is given, we default it to 1 to prevent the harness from running forever.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@rajath-mk rajath-mk requested a review from a team as a code owner February 27, 2025 00:31
@rajath-mk rajath-mk self-assigned this Feb 27, 2025
@rajath-mk rajath-mk marked this pull request as draft February 27, 2025 01:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant