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.

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

Deprecate --visualize in favor of concrete playback #3281

Merged
merged 2 commits into from
Jun 21, 2024

Conversation

celinval
Copy link
Contributor

@celinval celinval commented Jun 21, 2024

We believe the --visualize is much harder to use than concrete playback. In the rare cases where a trace might be relevant, users can still use CBMC trace.

For most users, this will simplify installation since Kani will no longer depend on Python3.

Note: As opposed to --function which was purely an internal feature, I believe we have mentioned --visualize to users before, so I think it's important to have a deprecation period.

Related #2832

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

We believe the `--visualize` is much harder to use than concrete
playback. In the rare cases where a trace might be relevant, users
can still use CBMC trace.

For most users, this will simplify instalation since Kani will no
longer require python.
@celinval celinval requested a review from a team as a code owner June 21, 2024 19:11
Copy link
Contributor

@feliperodri feliperodri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎉

@celinval celinval enabled auto-merge (squash) June 21, 2024 19:17
@celinval celinval merged commit 73843ec into model-checking:main Jun 21, 2024
22 of 25 checks passed
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.

2 participants