starkware-libs / stwo

Apache License 2.0
251 stars 86 forks source link

Added total_ and claimed_sums as formal variables in ExprEvaluator. #892

Closed Alon-Ti closed 4 days ago

Alon-Ti commented 1 week ago

This stack of pull requests is managed by Graphite. Learn more about stacking.

reviewable-StarkWare commented 1 week ago

This change is Reviewable

codecov-commenter commented 1 week ago

Codecov Report

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

Project coverage is 91.83%. Comparing base (77de4d7) to head (159714d).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## dev #892 +/- ## ========================================== - Coverage 91.95% 91.83% -0.13% ========================================== Files 93 93 Lines 13097 13111 +14 Branches 13097 13111 +14 ========================================== - Hits 12043 12040 -3 - Misses 939 956 +17 Partials 115 115 ```

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


🚨 Try these New Features: