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

Output - Kani version #2570

Closed
adpaco-aws opened this issue Jun 27, 2023 · 0 comments · Fixed by #2619
Closed

Output - Kani version #2570

adpaco-aws opened this issue Jun 27, 2023 · 0 comments · Fixed by #2619
Assignees
@adpaco-aws
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues

Comments

@adpaco-aws
Copy link
Contributor

adpaco-aws commented Jun 27, 2023 •
edited
Loading

Requested feature: Print the version of Kani at the beginning of a run.
Use case: Kani doesn't print its version despite it printing other versions (for example, CBMC's version gets printed once for each harness). This will provide a better experience for both users and developers.
Link to relevant documentation (Rust reference, Nomicon, RFC): N/A
@adpaco-aws adpaco-aws added [C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues labels Jun 27, 2023
@adpaco-aws adpaco-aws self-assigned this Jun 27, 2023
@adpaco-aws adpaco-aws mentioned this issue Jun 27, 2023
Closed
4 tasks
@adpaco-aws adpaco-aws changed the title RFC: Kani version RFC: Output - Kani version Jun 27, 2023
@adpaco-aws adpaco-aws changed the title RFC: Output - Kani version Output - Kani version Jul 23, 2023
@adpaco-aws adpaco-aws mentioned this issue Jul 26, 2023
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@adpaco-aws adpaco-aws

Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-RFC Label RFC PRs and Issues
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Print Kani version adpaco-aws/rmc
RFC: Print Kani version adpaco-aws/rmc
1 participant
@adpaco-aws