starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache License 2.0
1.56k stars 479 forks source link

fix(profiler): ignore pc outside of function area #6439

Open m-kus opened 1 day ago

m-kus commented 1 day ago

Fixes the End of program reached, but trace continues. error which occurs when program counter is outside the function area. Can be reproduced on the program attached. sha256.cairo.txt

cargo run --bin cairo-run -- --single-file sha256.cairo --available-gas 100000000000 --run-profiler

This change is Reviewable

m-kus commented 1 day ago

@piotmag769 thank you for leaving that comment in cairo-profiler, I would spend another week trying to understand why it is happening 😅