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

[Prover] add support of abort in spec function #14939

Merged
merged 3 commits into from
Oct 16, 2024

Merge branch 'main' into teng/fix-14793

fe7f555
Select commit
Loading
Failed to load commit list.
Merged

[Prover] add support of abort in spec function #14939

Merge branch 'main' into teng/fix-14793
fe7f555
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 16, 2024 in 0s

60.1% (+0.0%) compared to b481f94

View this Pull Request on Codecov

60.1% (+0.0%) compared to b481f94

Details

Codecov Report

Attention: Patch coverage is 74.50980% with 13 lines in your changes missing coverage. Please review.

Project coverage is 60.1%. Comparing base (b481f94) to head (fe7f555).
Report is 4 commits behind head on main.

Files with missing lines Patch % Lines
.../move-prover/boogie-backend/src/spec_translator.rs 56.6% 13 Missing ⚠️
Additional details and impacted files 
@@           Coverage Diff           @@
##             main   #14939   +/-   ##
=======================================
  Coverage    60.1%    60.1%           
=======================================
  Files         856      856           
  Lines      211035   211086   +51     
=======================================
+ Hits       126896   126938   +42     
- Misses      84139    84148    +9

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

View more details on Codecov