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 double assign hint #287

Closed Juan-M-V closed 1 year ago

Juan-M-V commented 1 year ago

Resolves: #235

codecov-commenter commented 1 year ago

Codecov Report

Merging #287 (8a07d4a) into main (1697359) will increase coverage by 0.07%. The diff coverage is 81.81%.

@@            Coverage Diff             @@
##             main     #287      +/-   ##
==========================================
+ Coverage   56.40%   56.48%   +0.07%     
==========================================
  Files          47       47              
  Lines        5992     6025      +33     
==========================================
+ Hits         3380     3403      +23     
- Misses       2286     2293       +7     
- Partials      326      329       +3
Files Coverage Δ
pkg/hints/hint_processor.go 88.02% <100.00%> (+0.14%) :arrow_up:
pkg/hints/ec_hint.go 57.78% <80.64%> (+3.32%) :arrow_up:

... and 1 file with indirect coverage changes

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

Juan-M-V commented 1 year ago

Integration test?

Im currently wating on nondet_bigint_3 hints for the integration tests to work. I'll convert the RP to draft