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

[prover] Unit test bitwise_features.move has legit verification failures in v2 which are missing in v1 #12501

Open
wrwg opened this issue Mar 13, 2024 · 3 comments · May be fixed by #15621
Open

[prover] Unit test bitwise_features.move has legit verification failures in v2 which are missing in v1 #12501

wrwg opened this issue Mar 13, 2024 · 3 comments · May be fixed by #15621
Assignees
@rahxephon89
Labels
bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale

Comments

@wrwg
Copy link
Contributor

wrwg commented Mar 13, 2024

As the title says. See the different .exp files for v1/v2 case. Need to investigate why this is happening.
@wrwg wrwg added bug Something isn't working compiler-v2 labels Mar 13, 2024
@sausagee sausagee added the stale-exempt Prevents issues from being automatically marked and closed as stale label Mar 13, 2024
@wrwg wrwg moved this from 🆕 New to 📋 Backlog in Move Language and Runtime Mar 14, 2024
@wrwg wrwg mentioned this issue Mar 20, 2024
Merged
@rahxephon89
Copy link
Contributor

@wrwg I tried running the test using V2 but could not reproduce the verification failure. Is there anything extra I need to do to reproduce it?

@rahxephon89 rahxephon89 self-assigned this Mar 30, 2024
@rahxephon89
Copy link
Contributor

Cannot reproduce so close it for now

@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Move Language and Runtime Apr 3, 2024
@vineethk vineethk reopened this Dec 13, 2024
@github-project-automation github-project-automation bot moved this from ✅ Done to 📋 Backlog in Move Language and Runtime Dec 13, 2024
@vineethk vineethk moved this from 📋 Backlog to 🆕 New in Move Language and Runtime Dec 13, 2024
@vineethk
Copy link
Contributor

This issue is now reproducible with #15595.

@vineethk vineethk mentioned this issue Dec 13, 2024
Merged
3 tasks
@rahxephon89 rahxephon89 linked a pull request Dec 17, 2024 that will close this issue
Draft
22 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rahxephon89 rahxephon89

Labels
bug Something isn't working compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
Projects
Move Language and Runtime
Status: 🆕 New
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[prover][wip] fix bv analysis aptos-labs/aptos-core
4 participants
@vineethk @sausagee @rahxephon89 @wrwg