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

range32 checking for added to mips #2733

Open
wants to merge 2 commits into
base: sai/add-range32-check
Choose a base branch
from

fmt

b67df9a
Select commit
Loading
Failed to load commit list.
Open

range32 checking for added to mips #2733

fmt
b67df9a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Oct 26, 2024 in 0s

72.47% (-0.02%) compared to a531b16

View this Pull Request on Codecov

72.47% (-0.02%) compared to a531b16

Details

Codecov Report

Attention: Patch coverage is 0% with 15 lines in your changes missing coverage. Please review.

Project coverage is 72.47%. Comparing base (a531b16) to head (b67df9a).

Files with missing lines Patch % Lines
o1vm/src/interpreters/mips/interpreter.rs 0.00% 9 Missing ⚠️
o1vm/src/interpreters/mips/constraints.rs 0.00% 3 Missing ⚠️
o1vm/src/interpreters/mips/witness.rs 0.00% 3 Missing ⚠️
Additional details and impacted files 
@@                    Coverage Diff                    @@
##           sai/add-range32-check    #2733      +/-   ##
=========================================================
- Coverage                  72.49%   72.47%   -0.02%     
=========================================================
  Files                        247      247              
  Lines                      57734    57741       +7     
=========================================================
- Hits                       41852    41849       -3     
- Misses                     15882    15892      +10

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

View more details on Codecov