Skip to content

Conversation

@JulianGCalderon
Copy link

This branch is based on starkware-libs#8983, but uses lambdaclass/cairo-vm#2191 to fix the test. If you want to run it locally, you have to change the dependencies to a local path with the VM modifications.

Before:

running 1 test
test tests::declare_deploy_invoke_cairo0_scenario ... FAILED

failures:

---- tests::declare_deploy_invoke_cairo0_scenario stdout ----

thread 'tests::declare_deploy_invoke_cairo0_scenario' panicked at crates/starknet_os_flow_tests/src/test_manager.rs:436:60:
called `Result::unwrap()` on an `Err` value: VmException(VmException { pc: Relocatable { segment_index: 77, offset: 183 }, inst_location: None, inner_exc: Hint((0, MissingConstant("MAX_HIGH"))), error_attr_value: None, traceback: Some("Cairo traceback (most recent call last):\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/os.cairo:128:9: (pc=0:14492)\n        execute_blocks(\n        ^*************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/os.cairo:309:9: (pc=0:14630)\n        execute_transactions(block_context=block_context);\n        ^***********************************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo:168:5: (pc=0:13241)\n    execute_transactions_inner{\n    ^*************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo:281:12: (pc=0:13353)\n    return execute_transactions_inner(block_context=block_context, n_txs=n_txs - 1);\n           ^**********************************************************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo:262:16: (pc=0:13301)\n        return execute_transactions_inner(block_context=block_context, n_txs=n_txs - 1);\n               ^**********************************************************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo:260:9: (pc=0:13296)\n        execute_invoke_function_transaction(block_context=block_context);\n        ^**************************************************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_transactions.cairo:533:13: (pc=0:13639)\n            non_reverting_select_execute_entry_point_func(\n            ^********************************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/deprecated_execute_entry_point.cairo:290:63: (pc=0:7160)\n    let (is_reverted, retdata_size, retdata, is_deprecated) = select_execute_entry_point_func{\n                                                              ^******************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/deprecated_execute_entry_point.cairo:264:48: (pc=0:7128)\n    let (is_reverted, retdata_size, retdata) = execute_entry_point{\n                                               ^******************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_entry_point.cairo:325:9: (pc=0:6817)\n        call_execute_syscalls(\n        ^********************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_syscalls.cairo:261:16: (pc=0:10196)\n        return execute_syscalls(\n               ^***************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_syscalls.cairo:269:9: (pc=0:10212)\n        execute_call_contract(\n        ^********************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_syscalls.cairo:566:5: (pc=0:10741)\n    contract_call_helper(\n    ^*******************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/execute_syscalls.cairo:756:68: (pc=0:10990)\n        let (is_reverted, retdata_size, retdata, _is_deprecated) = select_execute_entry_point_func(\n                                                                   ^******************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/deprecated_execute_entry_point.cairo:236:59: (pc=0:7096)\n        let (is_reverted, retdata_size, retdata: felt*) = deprecated_execute_entry_point(\n                                                          ^*****************************^\n/Users/julian/projects/sequencer/crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/execution/deprecated_execute_entry_point.cairo:175:5: (pc=0:7043)\n    call abs contract_entry_point;\n    ^***************************^\nUnknown location (pc=77:578)\nUnknown location (pc=77:569)\n") })
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace


failures:
    tests::declare_deploy_invoke_cairo0_scenario

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 11 filtered out; finished in 5.56s

After:

running 1 test
test tests::declare_deploy_invoke_cairo0_scenario ... ok

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 11 filtered out; finished in 5.98s

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants