search

lambdaclass / cairo-vm_in_go

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Apache License 2.0
57 stars 13 forks source link

Add `ExecutionResources` + fix `CairoRunner` methods that received vm as an argument #300

Closed fmoletta closed 1 year ago

codecov-commenter commented 1 year ago

Codecov Report

Merging #300 (d00239a) into main (8c01a73) will increase coverage by 0.07%. The diff coverage is 55.22%.

@@            Coverage Diff             @@
##             main     #300      +/-   ##
==========================================
+ Coverage   56.11%   56.19%   +0.07%     
==========================================
  Files          48       48              
  Lines        6239     6316      +77     
==========================================
+ Hits         3501     3549      +48     
- Misses       2390     2407      +17     
- Partials      348      360      +12
Files Coverage Δ
pkg/vm/cairo_run/cairo_run.go 18.36% <100.00%> (ø)
pkg/vm/vm_core.go 44.08% <50.00%> (+0.07%) :arrow_up:
pkg/vm/memory/segments.go 77.03% <84.00%> (+1.58%) :arrow_up:
pkg/runners/cairo_runner.go 46.95% <47.00%> (-0.41%) :arrow_down:

... and 1 file with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more