Skip to content

vm verifier - #172

Draft
ascandone wants to merge 9 commits into
feat/exp/vmfrom
feat/exp/vm-verifier
Draft

vm verifier#172
ascandone wants to merge 9 commits into
feat/exp/vmfrom
feat/exp/vm-verifier

refactor: declare register/var bank sizes in Program; Verify optional

a7ffeea
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Jul 17, 2026 in 0s

67.59% (-0.18%) compared to 03022f9

View this Pull Request on Codecov

67.59% (-0.18%) compared to 03022f9

Details

Codecov Report

❌ Patch coverage is 62.97578% with 107 lines in your changes missing coverage. Please review.
✅ Project coverage is 67.59%. Comparing base (03022f9) to head (a7ffeea).

Files with missing lines Patch % Lines
internal/vm/verify.go 60.00% 89 Missing and 9 partials ⚠️
internal/vm/execution_err.go 0.00% 3 Missing ⚠️
internal/compiler/compiler.go 50.00% 1 Missing and 1 partial ⚠️
internal/vm/program.go 89.47% 1 Missing and 1 partial ⚠️
internal/vm/vm.go 85.71% 2 Missing ⚠️
Additional details and impacted files 
@@               Coverage Diff               @@
##           feat/exp/vm     #172      +/-   ##
===============================================
- Coverage        67.77%   67.59%   -0.18%     
===============================================
  Files               73       74       +1     
  Lines             7847     8128     +281     
===============================================
+ Hits              5318     5494     +176     
- Misses            2117     2211      +94     
- Partials           412      423      +11

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
View more details on Codecov