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

Add a test that the build cache is sensitive to different Kani versions #2231

Open
celinval opened this issue Feb 23, 2023 · 0 comments
Open

Add a test that the build cache is sensitive to different Kani versions #2231

celinval opened this issue Feb 23, 2023 · 0 comments
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Milestone
Proof Caching

Comments

@celinval
Copy link
Contributor

Proposed change: We need a way to test that change to Kani versions invalidate the build cache.

Motivation: Failure to do so may cause inconsistent behavior.
@celinval celinval added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Feb 23, 2023
@celinval celinval added this to the Proof Caching milestone Feb 23, 2023
@celinval celinval mentioned this issue Feb 23, 2023
Merged
4 tasks
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
Proof Caching
Development

No branches or pull requests
1 participant
@celinval