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

Import apply_closure into kani_core #3375

Merged
merged 1 commit into from
Jul 24, 2024
Merged

Import apply_closure into kani_core #3375

merged 1 commit into from
Jul 24, 2024

Conversation

tautschnig
Copy link
Member

This enables use of |result| when verifying the standard library.

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

@tautschnig
Import apply_closure into kani_core
1b26786 
This enables use of `|result|` when verifying the standard library.
@tautschnig tautschnig requested a review from a team as a code owner July 24, 2024 09:19
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Jul 24, 2024
@tautschnig tautschnig mentioned this pull request Jul 24, 2024
Merged
jaisnan
jaisnan approved these changes Jul 24, 2024
View reviewed changes
Copy link
Contributor

@jaisnan jaisnan left a comment

Choose a reason for hiding this comment

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

This was a change that was to be merged in #3333 but that PR is currently blocked due to a leak in how the unstable proc macro works. However that does not affect this PR, so thanks for this change.

@tautschnig tautschnig merged commit 1b1a9b6 into model-checking:main Jul 24, 2024
25 checks passed
@tautschnig tautschnig deleted the kani_core-ensures branch July 24, 2024 15:53
tautschnig added a commit to tautschnig/kani that referenced this pull request Jul 24, 2024
@tautschnig
Cherry-pick model-checking#3375 into verify-rust-std (Import apply_cl…
4034b9a 
…osure into kani_core)

This adds the commit from model-checking#3375 to features/verify-rust-std.
@tautschnig tautschnig mentioned this pull request Jul 24, 2024
Merged
tautschnig added a commit that referenced this pull request Jul 24, 2024
@tautschnig
Cherry-pick #3375 into verify-rust-std (Import apply_closure into kan…
412771a 
…i_core) (#3376)

This adds the commit from #3375 to features/verify-rust-std.
@feliperodri feliperodri mentioned this pull request Aug 12, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jaisnan jaisnan jaisnan approved these changes

Assignees
No one assigned
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tautschnig @jaisnan