search

lambdaclass / starknet-replay

Provides a way of reading a real Starknet State, so you can re-execute an existing transaction in any of the Starknet networks in an easy way
Apache License 2.0
6 stars 1 forks source link

Update trace-dump-2 branch #94

Open FrancoGiachetta opened 4 hours ago

FrancoGiachetta commented 4 hours ago

There have been significant changes recently. We should update the trace-dump-2 branch from the replay as well as the with-trace-dump branch from the sequencer to make them compatible with the u64 change.

Depends #89 Depends lambdaclass/sequencer#17

gabrielbosio commented 4 hours ago

Also running a transaction with the sierra-emu feature will fail with 3 errors. For example:

cargo run -r --features use-sierra-emu tx 0x22263b88bc853b53c8632a8a1e13aac392aa021ff353ddca321ce0359abb9bc mainnet 633647

Will fail with:

error[E0308]: mismatched types
   --> $HOME/sequencer/crates/blockifier/src/execution/native/entry_point_execution.rs:126:55
    |
126 |         run_native_executor(&contract_class.executor, function_id, call, syscall_handler)
    |         -------------------                           ^^^^^^^^^^^ expected `Felt252`, found `&FunctionId`
    |         |
    |         arguments to this function are incorrect
    |
error[E0308]: mismatched types
   --> /home/admin/gabi/sequencer/crates/blockifier/src/execution/native/utils.rs:57:9
    |
56  |     let execution_result = native_executor.run(
    |                                            --- arguments to this method are incorrect
57  |         selector,
    |         ^^^^^^^^ expected `&FunctionId`, found `Felt252`
error[E0061]: this function takes 2 arguments but 3 arguments were supplied
   --> /home/admin/gabi/sequencer/crates/blockifier/src/test_utils/struct_impls.rs:238:13
    |
238 |             AotContractExecutor::new(
    |             ^^^^^^^^^^^^^^^^^^^^^^^^
239 |                 &contract.extract_sierra_program().unwrap(),
240 |                 &contract.entry_points_by_type,
    |                 ------------------------------ unexpected argument #2 of type `&ContractEntryPoints`
    |