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

[CLI][Prover][trivial] set option compile_verify_code to true when running prover using V2 flag #14900

Merged
merged 2 commits into from
Oct 9, 2024

Merge branch 'main' into teng/aptos-move-prove-verify-only

94d0dc1
Select commit
Loading
Failed to load commit list.
Merged

[CLI][Prover][trivial] set option compile_verify_code to true when running prover using V2 flag #14900

Merge branch 'main' into teng/aptos-move-prove-verify-only
94d0dc1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 9, 2024 in 1s

60.0% (-0.1%) compared to cbb4431, passed because coverage increased by 0% when compared to adjusted base (60.0%)

View this Pull Request on Codecov

60.0% (-0.1%) compared to cbb4431, passed because coverage increased by 0% when compared to adjusted base (60.0%)

Details

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 60.0%. Comparing base (cbb4431) to head (94d0dc1).
Report is 2 commits behind head on main.

Files with missing lines Patch % Lines
...ools/move-package/src/compilation/model_builder.rs 0.0% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff            @@
##             main   #14900     +/-   ##
=========================================
- Coverage    60.0%    60.0%   -0.1%     
=========================================
  Files         856      856             
  Lines      210624   210625      +1     
=========================================
  Hits       126573   126573             
- Misses      84051    84052      +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.