search

lambdaclass / cairo-vm

cairo-vm is a Rust 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.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
514 stars 145 forks source link

Update segment used offsets with output size. #1681

Closed Alon-Ti closed 6 months ago

Alon-Ti commented 6 months ago

Update output segment used size with return value size when it is known ahead.

codecov[bot] commented 6 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 96.70%. Comparing base (ef9ef5b) to head (e45f93b).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1681 +/- ## ======================================= Coverage 96.70% 96.70% ======================================= Files 95 95 Lines 38151 38154 +3 ======================================= + Hits 36894 36897 +3 Misses 1257 1257 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.