starkware-libs / stone-prover

Apache License 2.0
260 stars 76 forks source link

Can't run example #22

Closed DylanVerstraete closed 3 months ago

DylanVerstraete commented 5 months ago

See output:

➜  cairo1-run git:(main) cargo run ../../fibonacci.cairo \
    --layout=small \
    --air_public_input=fibonacci_public_input.json \
    --air_private_input=fibonacci_private_input.json \
    --trace_file=fibonacci_trace.json \
    --memory_file=fibonacci_memory.json \
    --proof_mode
    Finished dev [unoptimized + debuginfo] target(s) in 0.10s
     Running `/home/dylan/stone-prover/e2e_test/Cairo/cairo-vm/target/debug/cairo1-run ../../fibonacci.cairo --layout=small --air_public_input=fibonacci_public_input.json --air_private_input=fibonacci_private_input.json --trace_file=fibonacci_trace.json --memory_file=fibonacci_memory.json --proof_mode`
Error: IlegalReturnValue
delaaxe commented 5 months ago

Do cd cairo-vm && git checkout aecbb3f01dacb6d3f90256c808466c2c37606252