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
517 stars 148 forks source link

Fix: delete Cairo 2 contracts when running make clean #1579

Closed odesenfans closed 9 months ago

odesenfans commented 9 months ago

The .casm files in cairo_programs/cairo-2-contracts were not deleted in the clean target, resulting in errors when bisecting / testing older versions.

Checklist

codecov[bot] commented 9 months ago

Codecov Report

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

Comparison is base (4ea224a) 97.17% compared to head (ef48a0a) 97.17%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1579 +/- ## ======================================= Coverage 97.17% 97.17% ======================================= Files 91 91 Lines 37175 37175 ======================================= Hits 36124 36124 Misses 1051 1051 ```

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

odesenfans commented 9 months ago

Done :)