diff --git a/src/tests/integration/test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected b/src/tests/integration/test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected index beadb75ba..dfd76d25e 100644 --- a/src/tests/integration/test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected +++ b/src/tests/integration/test-data/show/ArithmeticContract.add_sub_external(uint256,uint256,uint256).cse.expected @@ -136,77 +136,29 @@ statusCode: STATUSCODE_FINAL:StatusCode -┌─ 36 (root) +┌─ 36 (root, leaf, pending) │ k: #execute ~> CONTINUATION:K │ pc: 0 │ callDepth: CALLDEPTH_CELL:Int │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256) -│ -│ (1 step) -├─ 49 (terminal) -│ k: #halt ~> CONTINUATION:K -│ pc: ?_PC_CELL_5d410f2a:Int -│ callDepth: ?_CALLDEPTH_CELL_5d410f2a:Int -│ statusCode: ?_STATUSCODE_FINAL:StatusCode -│ -┊ constraint: true -┊ subst: ... -└─ 2 (leaf, target, terminal) - k: #halt ~> CONTINUATION:K - pc: PC_CELL_5d410f2a:Int - callDepth: CALLDEPTH_CELL_5d410f2a:Int - statusCode: STATUSCODE_FINAL:StatusCode - -┌─ 42 (root) +┌─ 42 (root, leaf, pending) │ k: #execute ~> CONTINUATION:K │ pc: 0 │ callDepth: CALLDEPTH_CELL:Int │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256) -│ -│ (1 step) -├─ 50 (terminal) -│ k: #halt ~> CONTINUATION:K -│ pc: ?_PC_CELL_5d410f2a:Int -│ callDepth: ?_CALLDEPTH_CELL_5d410f2a:Int -│ statusCode: ?_STATUSCODE_FINAL:StatusCode -│ -┊ constraint: true -┊ subst: ... -└─ 2 (leaf, target, terminal) - k: #halt ~> CONTINUATION:K - pc: PC_CELL_5d410f2a:Int - callDepth: CALLDEPTH_CELL_5d410f2a:Int - statusCode: STATUSCODE_FINAL:StatusCode - -┌─ 46 (root) +┌─ 46 (root, leaf, pending) │ k: #execute ~> CONTINUATION:K │ pc: 0 │ callDepth: CALLDEPTH_CELL:Int │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: src%ArithmeticContract.add_sub_external(uint256,uint256,uint256) -│ -│ (1 step) -├─ 51 (terminal) -│ k: #halt ~> CONTINUATION:K -│ pc: ?_PC_CELL_5d410f2a:Int -│ callDepth: ?_CALLDEPTH_CELL_5d410f2a:Int -│ statusCode: ?_STATUSCODE_FINAL:StatusCode -│ -┊ constraint: true -┊ subst: ... -└─ 2 (leaf, target, terminal) - k: #halt ~> CONTINUATION:K - pc: PC_CELL_5d410f2a:Int - callDepth: CALLDEPTH_CELL_5d410f2a:Int - statusCode: STATUSCODE_FINAL:StatusCode - @@ -404,1023 +356,6 @@ module SUMMARY-SRC%ARITHMETICCONTRACT.ADD-SUB-EXTERNAL(UINT256,UINT256,UINT256): )))))))))))))))))))))))))))))) [priority(20), label(BASIC-BLOCK-45-TO-33)] - rule [BASIC-BLOCK-36-TO-49]: - - - ( #execute => #halt ) - ~> _CONTINUATION - - - ( _EXITCODE_CELL => ?_?_EXIT_CODE_CELL_5d410f2a ) - - - ( NORMAL => ?_?_MODE_CELL_5d410f2a ) - - - ( SHANGHAI => ?_?_SCHEDULE_CELL_5d410f2a ) - - - ( false => ?_?_USEGAS_CELL_5d410f2a ) - - - - - ( _OUTPUT_CELL => ?_?_OUTPUT_FINAL ) - - - ( _STATUSCODE => ?_?_STATUSCODE_FINAL ) - - - ( _CALLSTACK_CELL => ?_?_CALLSTACK_CELL_5d410f2a ) - - - ( _INTERIMSTATES_CELL => ?_?_INTERIMSTATES_CELL_5d410f2a ) - - - ( _TOUCHEDACCOUNTS_CELL => ?_?_TOUCHEDACCOUNTS_CELL_5d410f2a ) - - - - ( C_ARITHMETICCONTRACT_ID:Int => ?_?_ID_CELL_5d410f2a ) - - - ( CALLER_ID:Int => ?_?_CALLER_CELL_5d410f2a ) - - - ( b"\x9c&\xe07" +Bytes #buf ( 32 , KV0_x:Int ) +Bytes #buf ( 32 , KV1_y:Int ) +Bytes #buf ( 32 , KV2_z:Int ) => ?_?_CALLDATA_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLVALUE_CELL_5d410f2a ) - - - ( .WordStack => ?_?_WORDSTACK_CELL_5d410f2a ) - - - ( b"" => ?_?_LOCALMEM_CELL_5d410f2a ) - - - ( 0 => ?_?_MEMORYUSED_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLGAS_CELL_5d410f2a ) - - - ( _STATIC_CELL => ?_?_STATIC_CELL_5d410f2a ) - - - ( CALLDEPTH_CELL:Int => ?_?_CALLDEPTH_CELL_5d410f2a ) - - ... - - - - ( _SELFDESTRUCT_CELL => ?_?_SELFDESTRUCT_CELL_5d410f2a ) - - - ( _LOG_CELL => ?_?_LOG_CELL_5d410f2a ) - - - ( 0 => ?_?_REFUND_CELL_5d410f2a ) - - - ( _ACCESSEDACCOUNTS_CELL => ?_?_ACCESSEDACCOUNTS_CELL_5d410f2a ) - - - ( _ACCESSEDSTORAGE_CELL => ?_?_ACCESSEDSTORAGE_CELL_5d410f2a ) - - - - ( _GASPRICE_CELL => ?_?_GASPRICE_CELL_5d410f2a ) - - - ( ORIGIN_ID:Int => ?_?_ORIGIN_CELL_5d410f2a ) - - - ( _BLOCKHASHES_CELL => ?_?_BLOCKHASHES_CELL_5d410f2a ) - - - - ( _PREVIOUSHASH_CELL => ?_?_PREVIOUSHASH_CELL_5d410f2a ) - - - ( _OMMERSHASH_CELL => ?_?_OMMERSHASH_CELL_5d410f2a ) - - - ( _COINBASE_CELL => ?_?_COINBASE_CELL_5d410f2a ) - - - ( _STATEROOT_CELL => ?_?_STATEROOT_CELL_5d410f2a ) - - - ( _TRANSACTIONSROOT_CELL => ?_?_TRANSACTIONSROOT_CELL_5d410f2a ) - - - ( _RECEIPTSROOT_CELL => ?_?_RECEIPTSROOT_CELL_5d410f2a ) - - - ( _LOGSBLOOM_CELL => ?_?_LOGSBLOOM_CELL_5d410f2a ) - - - ( _DIFFICULTY_CELL => ?_?_DIFFICULTY_CELL_5d410f2a ) - - - ( NUMBER_CELL:Int => ?_?_NUMBER_CELL_5d410f2a ) - - - ( _GASLIMIT_CELL => ?_?_GASLIMIT_CELL_5d410f2a ) - - - ( _GASUSED_CELL => ?_?_GASUSED_CELL_5d410f2a ) - - - ( TIMESTAMP_CELL:Int => ?_?_TIMESTAMP_CELL_5d410f2a ) - - - ( _EXTRADATA_CELL => ?_?_EXTRADATA_CELL_5d410f2a ) - - - ( _MIXHASH_CELL => ?_?_MIXHASH_CELL_5d410f2a ) - - - ( _BLOCKNONCE_CELL => ?_?_BLOCKNONCE_CELL_5d410f2a ) - - - ( _BASEFEE_CELL => ?_?_BASEFEE_CELL_5d410f2a ) - - - ( _WITHDRAWALSROOT_CELL => ?_?_WITHDRAWALSROOT_CELL_5d410f2a ) - - - ( _BLOBGASUSED_CELL => ?_?_BLOBGASUSED_CELL_5d410f2a ) - - - ( _EXCESSBLOBGAS_CELL => ?_?_EXCESSBLOBGAS_CELL_5d410f2a ) - - - ( _BEACONROOT_CELL => ?_?_BEACONROOT_CELL_5d410f2a ) - - - ( _OMMERBLOCKHEADERS_CELL => ?_?_OMMERBLOCKHEADERS_CELL_5d410f2a ) - - - - - - ( 1 => ?_?_CHAINID_CELL_5d410f2a ) - - - ( ( - - C_ARITHMETICCONTRACT_ID:Int - - - C_ARITHMETICCONTRACT_BAL:Int - - - C_ARITHMETICCONTRACT_NONCE:Int - - ... - - ACCOUNTS_REST:AccountCellMap ) => ?_?_ACCOUNTS_CELL_5d410f2a ) - - - ( _TXORDER_CELL => ?_?_TXORDER_CELL_5d410f2a ) - - - ( _TXPENDING_CELL => ?_?_TXPENDING_CELL_5d410f2a ) - - - ( _MESSAGES_CELL => ?_?_MESSAGES_CELL_5d410f2a ) - - - - - - ( true => ?_?_STACKCHECKS_CELL_5d410f2a ) - - - - - ( _PREVCALLER_CELL => ?_?_PREVCALLER_CELL_5d410f2a ) - - - ( _PREVORIGIN_CELL => ?_?_PREVORIGIN_CELL_5d410f2a ) - - - ( _NEWCALLER_CELL => ?_?_NEWCALLER_CELL_5d410f2a ) - - - ( _NEWORIGIN_CELL => ?_?_NEWORIGIN_CELL_5d410f2a ) - - - ( _ACTIVE_CELL => ?_?_ACTIVE_CELL_5d410f2a ) - - - ( _DEPTH_CELL => ?_?_DEPTH_CELL_5d410f2a ) - - - ( _SINGLECALL_CELL => ?_?_SINGLECALL_CELL_5d410f2a ) - - - - - ( _ISREVERTEXPECTED_CELL => ?_?_ISREVERTEXPECTED_FINAL ) - - - ( _EXPECTEDREASON_CELL => ?_?_EXPECTEDREASON_CELL_5d410f2a ) - - - ( _EXPECTEDDEPTH_CELL => ?_?_EXPECTEDDEPTH_CELL_5d410f2a ) - - - - - ( false => ?_?_ISOPCODEEXPECTED_FINAL ) - - - ( _EXPECTEDADDRESS_CELL => ?_?_EXPECTEDADDRESS_CELL_5d410f2a ) - - - ( _EXPECTEDVALUE_CELL => ?_?_EXPECTEDVALUE_CELL_5d410f2a ) - - - ( _EXPECTEDDATA_CELL => ?_?_EXPECTEDDATA_CELL_5d410f2a ) - - - ( _OPCODETYPE_CELL => ?_?_OPCODETYPE_CELL_5d410f2a ) - - - - - ( _RECORDEVENT_CELL => ?_?_RECORDEVENT_FINAL ) - - - ( _ISEVENTEXPECTED_CELL => ?_?_ISEVENTEXPECTED_FINAL ) - - - ( _CHECKEDTOPICS_CELL => ?_?_CHECKEDTOPICS_CELL_5d410f2a ) - - - ( _CHECKEDDATA_CELL => ?_?_CHECKEDDATA_CELL_5d410f2a ) - - - ( _EXPECTEDEVENTADDRESS_CELL => ?_?_EXPECTEDEVENTADDRESS_CELL_5d410f2a ) - - - - - ( false => ?_?_ISCALLWHITELISTACTIVE_FINAL ) - - - ( false => ?_?_ISSTORAGEWHITELISTACTIVE_FINAL ) - - - ( .List => ?_?_ADDRESSLIST_FINAL ) - - - ( .List => ?_?_STORAGESLOTLIST_FINAL ) - - - - ( .MockCallCellMap => ?_?_MOCKCALLS_CELL_5d410f2a ) - - - ( .MockFunctionCellMap => ?_?_MOCKFUNCTIONS_CELL_5d410f2a ) - - - - - ( false => ?_?_ACTIVETRACING_CELL_5d410f2a ) - - - ( false => ?_?_TRACESTORAGE_CELL_5d410f2a ) - - - ( false => ?_?_TRACEWORDSTACK_CELL_5d410f2a ) - - - ( false => ?_?_TRACEMEMORY_CELL_5d410f2a ) - - - ( false => ?_?_RECORDEDTRACE_CELL_5d410f2a ) - - - ( .List => ?_?_TRACEDATA_CELL_5d410f2a ) - - - - requires ( 0 <=Int KV0_x:Int - andBool ( 0 <=Int KV1_y:Int - andBool ( 0 <=Int KV2_z:Int - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 1024 <=Int CALLDEPTH_CELL:Int - andBool ( pow24 - C_ARITHMETICCONTRACT_ID:Int - in_keys ( ACCOUNTS_REST:AccountCellMap ) ) - andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) ) - andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) ) - andBool ( ( notBool #range ( 0 < C_ARITHMETICCONTRACT_ID:Int <= 9 ) ) - )))))))))))))))))))))))))))) - [priority(20), label(BASIC-BLOCK-36-TO-49)] - - rule [BASIC-BLOCK-42-TO-50]: - - - ( #execute => #halt ) - ~> _CONTINUATION - - - ( _EXITCODE_CELL => ?_?_EXIT_CODE_CELL_5d410f2a ) - - - ( NORMAL => ?_?_MODE_CELL_5d410f2a ) - - - ( SHANGHAI => ?_?_SCHEDULE_CELL_5d410f2a ) - - - ( false => ?_?_USEGAS_CELL_5d410f2a ) - - - - - ( _OUTPUT_CELL => ?_?_OUTPUT_FINAL ) - - - ( _STATUSCODE => ?_?_STATUSCODE_FINAL ) - - - ( _CALLSTACK_CELL => ?_?_CALLSTACK_CELL_5d410f2a ) - - - ( _INTERIMSTATES_CELL => ?_?_INTERIMSTATES_CELL_5d410f2a ) - - - ( _TOUCHEDACCOUNTS_CELL => ?_?_TOUCHEDACCOUNTS_CELL_5d410f2a ) - - - - ( C_ARITHMETICCONTRACT_ID:Int => ?_?_ID_CELL_5d410f2a ) - - - ( CALLER_ID:Int => ?_?_CALLER_CELL_5d410f2a ) - - - ( b"\x9c&\xe07" +Bytes #buf ( 32 , KV0_x:Int ) +Bytes #buf ( 32 , KV1_y:Int ) +Bytes #buf ( 32 , KV2_z:Int ) => ?_?_CALLDATA_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLVALUE_CELL_5d410f2a ) - - - ( .WordStack => ?_?_WORDSTACK_CELL_5d410f2a ) - - - ( b"" => ?_?_LOCALMEM_CELL_5d410f2a ) - - - ( 0 => ?_?_MEMORYUSED_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLGAS_CELL_5d410f2a ) - - - ( _STATIC_CELL => ?_?_STATIC_CELL_5d410f2a ) - - - ( CALLDEPTH_CELL:Int => ?_?_CALLDEPTH_CELL_5d410f2a ) - - ... - - - - ( _SELFDESTRUCT_CELL => ?_?_SELFDESTRUCT_CELL_5d410f2a ) - - - ( _LOG_CELL => ?_?_LOG_CELL_5d410f2a ) - - - ( 0 => ?_?_REFUND_CELL_5d410f2a ) - - - ( _ACCESSEDACCOUNTS_CELL => ?_?_ACCESSEDACCOUNTS_CELL_5d410f2a ) - - - ( _ACCESSEDSTORAGE_CELL => ?_?_ACCESSEDSTORAGE_CELL_5d410f2a ) - - - - ( _GASPRICE_CELL => ?_?_GASPRICE_CELL_5d410f2a ) - - - ( ORIGIN_ID:Int => ?_?_ORIGIN_CELL_5d410f2a ) - - - ( _BLOCKHASHES_CELL => ?_?_BLOCKHASHES_CELL_5d410f2a ) - - - - ( _PREVIOUSHASH_CELL => ?_?_PREVIOUSHASH_CELL_5d410f2a ) - - - ( _OMMERSHASH_CELL => ?_?_OMMERSHASH_CELL_5d410f2a ) - - - ( _COINBASE_CELL => ?_?_COINBASE_CELL_5d410f2a ) - - - ( _STATEROOT_CELL => ?_?_STATEROOT_CELL_5d410f2a ) - - - ( _TRANSACTIONSROOT_CELL => ?_?_TRANSACTIONSROOT_CELL_5d410f2a ) - - - ( _RECEIPTSROOT_CELL => ?_?_RECEIPTSROOT_CELL_5d410f2a ) - - - ( _LOGSBLOOM_CELL => ?_?_LOGSBLOOM_CELL_5d410f2a ) - - - ( _DIFFICULTY_CELL => ?_?_DIFFICULTY_CELL_5d410f2a ) - - - ( NUMBER_CELL:Int => ?_?_NUMBER_CELL_5d410f2a ) - - - ( _GASLIMIT_CELL => ?_?_GASLIMIT_CELL_5d410f2a ) - - - ( _GASUSED_CELL => ?_?_GASUSED_CELL_5d410f2a ) - - - ( TIMESTAMP_CELL:Int => ?_?_TIMESTAMP_CELL_5d410f2a ) - - - ( _EXTRADATA_CELL => ?_?_EXTRADATA_CELL_5d410f2a ) - - - ( _MIXHASH_CELL => ?_?_MIXHASH_CELL_5d410f2a ) - - - ( _BLOCKNONCE_CELL => ?_?_BLOCKNONCE_CELL_5d410f2a ) - - - ( _BASEFEE_CELL => ?_?_BASEFEE_CELL_5d410f2a ) - - - ( _WITHDRAWALSROOT_CELL => ?_?_WITHDRAWALSROOT_CELL_5d410f2a ) - - - ( _BLOBGASUSED_CELL => ?_?_BLOBGASUSED_CELL_5d410f2a ) - - - ( _EXCESSBLOBGAS_CELL => ?_?_EXCESSBLOBGAS_CELL_5d410f2a ) - - - ( _BEACONROOT_CELL => ?_?_BEACONROOT_CELL_5d410f2a ) - - - ( _OMMERBLOCKHEADERS_CELL => ?_?_OMMERBLOCKHEADERS_CELL_5d410f2a ) - - - - - - ( 1 => ?_?_CHAINID_CELL_5d410f2a ) - - - ( ( - - C_ARITHMETICCONTRACT_ID:Int - - - C_ARITHMETICCONTRACT_BAL:Int - - - C_ARITHMETICCONTRACT_NONCE:Int - - ... - - ACCOUNTS_REST:AccountCellMap ) => ?_?_ACCOUNTS_CELL_5d410f2a ) - - - ( _TXORDER_CELL => ?_?_TXORDER_CELL_5d410f2a ) - - - ( _TXPENDING_CELL => ?_?_TXPENDING_CELL_5d410f2a ) - - - ( _MESSAGES_CELL => ?_?_MESSAGES_CELL_5d410f2a ) - - - - - - ( true => ?_?_STACKCHECKS_CELL_5d410f2a ) - - - - - ( _PREVCALLER_CELL => ?_?_PREVCALLER_CELL_5d410f2a ) - - - ( _PREVORIGIN_CELL => ?_?_PREVORIGIN_CELL_5d410f2a ) - - - ( _NEWCALLER_CELL => ?_?_NEWCALLER_CELL_5d410f2a ) - - - ( _NEWORIGIN_CELL => ?_?_NEWORIGIN_CELL_5d410f2a ) - - - ( _ACTIVE_CELL => ?_?_ACTIVE_CELL_5d410f2a ) - - - ( _DEPTH_CELL => ?_?_DEPTH_CELL_5d410f2a ) - - - ( _SINGLECALL_CELL => ?_?_SINGLECALL_CELL_5d410f2a ) - - - - - ( _ISREVERTEXPECTED_CELL => ?_?_ISREVERTEXPECTED_FINAL ) - - - ( _EXPECTEDREASON_CELL => ?_?_EXPECTEDREASON_CELL_5d410f2a ) - - - ( _EXPECTEDDEPTH_CELL => ?_?_EXPECTEDDEPTH_CELL_5d410f2a ) - - - - - ( false => ?_?_ISOPCODEEXPECTED_FINAL ) - - - ( _EXPECTEDADDRESS_CELL => ?_?_EXPECTEDADDRESS_CELL_5d410f2a ) - - - ( _EXPECTEDVALUE_CELL => ?_?_EXPECTEDVALUE_CELL_5d410f2a ) - - - ( _EXPECTEDDATA_CELL => ?_?_EXPECTEDDATA_CELL_5d410f2a ) - - - ( _OPCODETYPE_CELL => ?_?_OPCODETYPE_CELL_5d410f2a ) - - - - - ( _RECORDEVENT_CELL => ?_?_RECORDEVENT_FINAL ) - - - ( _ISEVENTEXPECTED_CELL => ?_?_ISEVENTEXPECTED_FINAL ) - - - ( _CHECKEDTOPICS_CELL => ?_?_CHECKEDTOPICS_CELL_5d410f2a ) - - - ( _CHECKEDDATA_CELL => ?_?_CHECKEDDATA_CELL_5d410f2a ) - - - ( _EXPECTEDEVENTADDRESS_CELL => ?_?_EXPECTEDEVENTADDRESS_CELL_5d410f2a ) - - - - - ( false => ?_?_ISCALLWHITELISTACTIVE_FINAL ) - - - ( false => ?_?_ISSTORAGEWHITELISTACTIVE_FINAL ) - - - ( .List => ?_?_ADDRESSLIST_FINAL ) - - - ( .List => ?_?_STORAGESLOTLIST_FINAL ) - - - - ( .MockCallCellMap => ?_?_MOCKCALLS_CELL_5d410f2a ) - - - ( .MockFunctionCellMap => ?_?_MOCKFUNCTIONS_CELL_5d410f2a ) - - - - - ( false => ?_?_ACTIVETRACING_CELL_5d410f2a ) - - - ( false => ?_?_TRACESTORAGE_CELL_5d410f2a ) - - - ( false => ?_?_TRACEWORDSTACK_CELL_5d410f2a ) - - - ( false => ?_?_TRACEMEMORY_CELL_5d410f2a ) - - - ( false => ?_?_RECORDEDTRACE_CELL_5d410f2a ) - - - ( .List => ?_?_TRACEDATA_CELL_5d410f2a ) - - - - requires ( 0 <=Int KV0_x:Int - andBool ( 0 <=Int KV1_y:Int - andBool ( 0 <=Int KV2_z:Int - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( CALLDEPTH_CELL:Int - C_ARITHMETICCONTRACT_ID:Int - in_keys ( ACCOUNTS_REST:AccountCellMap ) ) - andBool ( ( maxUInt256 -Int KV1_y:Int ) - - - ( #execute => #halt ) - ~> _CONTINUATION - - - ( _EXITCODE_CELL => ?_?_EXIT_CODE_CELL_5d410f2a ) - - - ( NORMAL => ?_?_MODE_CELL_5d410f2a ) - - - ( SHANGHAI => ?_?_SCHEDULE_CELL_5d410f2a ) - - - ( false => ?_?_USEGAS_CELL_5d410f2a ) - - - - - ( _OUTPUT_CELL => ?_?_OUTPUT_FINAL ) - - - ( _STATUSCODE => ?_?_STATUSCODE_FINAL ) - - - ( _CALLSTACK_CELL => ?_?_CALLSTACK_CELL_5d410f2a ) - - - ( _INTERIMSTATES_CELL => ?_?_INTERIMSTATES_CELL_5d410f2a ) - - - ( _TOUCHEDACCOUNTS_CELL => ?_?_TOUCHEDACCOUNTS_CELL_5d410f2a ) - - - - ( C_ARITHMETICCONTRACT_ID:Int => ?_?_ID_CELL_5d410f2a ) - - - ( CALLER_ID:Int => ?_?_CALLER_CELL_5d410f2a ) - - - ( b"\x9c&\xe07" +Bytes #buf ( 32 , KV0_x:Int ) +Bytes #buf ( 32 , KV1_y:Int ) +Bytes #buf ( 32 , KV2_z:Int ) => ?_?_CALLDATA_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLVALUE_CELL_5d410f2a ) - - - ( .WordStack => ?_?_WORDSTACK_CELL_5d410f2a ) - - - ( b"" => ?_?_LOCALMEM_CELL_5d410f2a ) - - - ( 0 => ?_?_MEMORYUSED_CELL_5d410f2a ) - - - ( 0 => ?_?_CALLGAS_CELL_5d410f2a ) - - - ( _STATIC_CELL => ?_?_STATIC_CELL_5d410f2a ) - - - ( CALLDEPTH_CELL:Int => ?_?_CALLDEPTH_CELL_5d410f2a ) - - ... - - - - ( _SELFDESTRUCT_CELL => ?_?_SELFDESTRUCT_CELL_5d410f2a ) - - - ( _LOG_CELL => ?_?_LOG_CELL_5d410f2a ) - - - ( 0 => ?_?_REFUND_CELL_5d410f2a ) - - - ( _ACCESSEDACCOUNTS_CELL => ?_?_ACCESSEDACCOUNTS_CELL_5d410f2a ) - - - ( _ACCESSEDSTORAGE_CELL => ?_?_ACCESSEDSTORAGE_CELL_5d410f2a ) - - - - ( _GASPRICE_CELL => ?_?_GASPRICE_CELL_5d410f2a ) - - - ( ORIGIN_ID:Int => ?_?_ORIGIN_CELL_5d410f2a ) - - - ( _BLOCKHASHES_CELL => ?_?_BLOCKHASHES_CELL_5d410f2a ) - - - - ( _PREVIOUSHASH_CELL => ?_?_PREVIOUSHASH_CELL_5d410f2a ) - - - ( _OMMERSHASH_CELL => ?_?_OMMERSHASH_CELL_5d410f2a ) - - - ( _COINBASE_CELL => ?_?_COINBASE_CELL_5d410f2a ) - - - ( _STATEROOT_CELL => ?_?_STATEROOT_CELL_5d410f2a ) - - - ( _TRANSACTIONSROOT_CELL => ?_?_TRANSACTIONSROOT_CELL_5d410f2a ) - - - ( _RECEIPTSROOT_CELL => ?_?_RECEIPTSROOT_CELL_5d410f2a ) - - - ( _LOGSBLOOM_CELL => ?_?_LOGSBLOOM_CELL_5d410f2a ) - - - ( _DIFFICULTY_CELL => ?_?_DIFFICULTY_CELL_5d410f2a ) - - - ( NUMBER_CELL:Int => ?_?_NUMBER_CELL_5d410f2a ) - - - ( _GASLIMIT_CELL => ?_?_GASLIMIT_CELL_5d410f2a ) - - - ( _GASUSED_CELL => ?_?_GASUSED_CELL_5d410f2a ) - - - ( TIMESTAMP_CELL:Int => ?_?_TIMESTAMP_CELL_5d410f2a ) - - - ( _EXTRADATA_CELL => ?_?_EXTRADATA_CELL_5d410f2a ) - - - ( _MIXHASH_CELL => ?_?_MIXHASH_CELL_5d410f2a ) - - - ( _BLOCKNONCE_CELL => ?_?_BLOCKNONCE_CELL_5d410f2a ) - - - ( _BASEFEE_CELL => ?_?_BASEFEE_CELL_5d410f2a ) - - - ( _WITHDRAWALSROOT_CELL => ?_?_WITHDRAWALSROOT_CELL_5d410f2a ) - - - ( _BLOBGASUSED_CELL => ?_?_BLOBGASUSED_CELL_5d410f2a ) - - - ( _EXCESSBLOBGAS_CELL => ?_?_EXCESSBLOBGAS_CELL_5d410f2a ) - - - ( _BEACONROOT_CELL => ?_?_BEACONROOT_CELL_5d410f2a ) - - - ( _OMMERBLOCKHEADERS_CELL => ?_?_OMMERBLOCKHEADERS_CELL_5d410f2a ) - - - - - - ( 1 => ?_?_CHAINID_CELL_5d410f2a ) - - - ( ( - - C_ARITHMETICCONTRACT_ID:Int - - - C_ARITHMETICCONTRACT_BAL:Int - - - C_ARITHMETICCONTRACT_NONCE:Int - - ... - - ACCOUNTS_REST:AccountCellMap ) => ?_?_ACCOUNTS_CELL_5d410f2a ) - - - ( _TXORDER_CELL => ?_?_TXORDER_CELL_5d410f2a ) - - - ( _TXPENDING_CELL => ?_?_TXPENDING_CELL_5d410f2a ) - - - ( _MESSAGES_CELL => ?_?_MESSAGES_CELL_5d410f2a ) - - - - - - ( true => ?_?_STACKCHECKS_CELL_5d410f2a ) - - - - - ( _PREVCALLER_CELL => ?_?_PREVCALLER_CELL_5d410f2a ) - - - ( _PREVORIGIN_CELL => ?_?_PREVORIGIN_CELL_5d410f2a ) - - - ( _NEWCALLER_CELL => ?_?_NEWCALLER_CELL_5d410f2a ) - - - ( _NEWORIGIN_CELL => ?_?_NEWORIGIN_CELL_5d410f2a ) - - - ( _ACTIVE_CELL => ?_?_ACTIVE_CELL_5d410f2a ) - - - ( _DEPTH_CELL => ?_?_DEPTH_CELL_5d410f2a ) - - - ( _SINGLECALL_CELL => ?_?_SINGLECALL_CELL_5d410f2a ) - - - - - ( _ISREVERTEXPECTED_CELL => ?_?_ISREVERTEXPECTED_FINAL ) - - - ( _EXPECTEDREASON_CELL => ?_?_EXPECTEDREASON_CELL_5d410f2a ) - - - ( _EXPECTEDDEPTH_CELL => ?_?_EXPECTEDDEPTH_CELL_5d410f2a ) - - - - - ( false => ?_?_ISOPCODEEXPECTED_FINAL ) - - - ( _EXPECTEDADDRESS_CELL => ?_?_EXPECTEDADDRESS_CELL_5d410f2a ) - - - ( _EXPECTEDVALUE_CELL => ?_?_EXPECTEDVALUE_CELL_5d410f2a ) - - - ( _EXPECTEDDATA_CELL => ?_?_EXPECTEDDATA_CELL_5d410f2a ) - - - ( _OPCODETYPE_CELL => ?_?_OPCODETYPE_CELL_5d410f2a ) - - - - - ( _RECORDEVENT_CELL => ?_?_RECORDEVENT_FINAL ) - - - ( _ISEVENTEXPECTED_CELL => ?_?_ISEVENTEXPECTED_FINAL ) - - - ( _CHECKEDTOPICS_CELL => ?_?_CHECKEDTOPICS_CELL_5d410f2a ) - - - ( _CHECKEDDATA_CELL => ?_?_CHECKEDDATA_CELL_5d410f2a ) - - - ( _EXPECTEDEVENTADDRESS_CELL => ?_?_EXPECTEDEVENTADDRESS_CELL_5d410f2a ) - - - - - ( false => ?_?_ISCALLWHITELISTACTIVE_FINAL ) - - - ( false => ?_?_ISSTORAGEWHITELISTACTIVE_FINAL ) - - - ( .List => ?_?_ADDRESSLIST_FINAL ) - - - ( .List => ?_?_STORAGESLOTLIST_FINAL ) - - - - ( .MockCallCellMap => ?_?_MOCKCALLS_CELL_5d410f2a ) - - - ( .MockFunctionCellMap => ?_?_MOCKFUNCTIONS_CELL_5d410f2a ) - - - - - ( false => ?_?_ACTIVETRACING_CELL_5d410f2a ) - - - ( false => ?_?_TRACESTORAGE_CELL_5d410f2a ) - - - ( false => ?_?_TRACEWORDSTACK_CELL_5d410f2a ) - - - ( false => ?_?_TRACEMEMORY_CELL_5d410f2a ) - - - ( false => ?_?_RECORDEDTRACE_CELL_5d410f2a ) - - - ( .List => ?_?_TRACEDATA_CELL_5d410f2a ) - - - - requires ( 0 <=Int KV0_x:Int - andBool ( 0 <=Int KV1_y:Int - andBool ( 0 <=Int KV2_z:Int - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( CALLDEPTH_CELL:Int - C_ARITHMETICCONTRACT_ID:Int - in_keys ( ACCOUNTS_REST:AccountCellMap ) ) - andBool ( KV0_x:Int <=Int ( maxUInt256 -Int KV1_y:Int ) - andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) ) - andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) ) - andBool ( ( notBool #range ( 0 < C_ARITHMETICCONTRACT_ID:Int <= 9 ) ) - )))))))))))))))))))))))))))))) - [priority(20), label(BASIC-BLOCK-46-TO-51)] - rule [BASIC-BLOCK-47-TO-48]: diff --git a/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected b/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected index 59dfd7158..ecb77c634 100644 --- a/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected +++ b/src/tests/integration/test-data/show/CallableStorageTest.test_str().cse.expected @@ -53,2234 +53,67 @@ │ method: test%CallableStorageContract.str() │ │ (1 step) -├─ 14 (split) +├─ 14 │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K │ pc: 0 │ callDepth: 1 │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: test%CallableStorageContract.str() -┃ -┃ (branch) -┣━━┓ subst: .Subst -┃ ┃ constraint: -┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) -┃ │ -┃ ├─ 15 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 17 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 21 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 29 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 45 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ ├─ 77 (split) -┃ ┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ ┃ └─ 141 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 142 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 78 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 143 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 144 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 46 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 79 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 145 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 146 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 80 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 147 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 148 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 30 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 47 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 81 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 149 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 150 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 82 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 151 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 152 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 48 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 83 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 153 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 154 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 84 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 155 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 156 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 22 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 31 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 49 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 85 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 157 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 158 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 86 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 159 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 160 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 50 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 87 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 161 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 162 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 88 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 163 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 164 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 32 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 51 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 89 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 165 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 166 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 90 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 167 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 168 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 52 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 91 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 169 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 170 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 92 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 171 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 172 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ ├─ 18 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 23 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 33 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 53 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ├─ 93 (split) -┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ ┃ └─ 173 (leaf, pending) -┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 174 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 94 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 175 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 176 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 54 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 95 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 177 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 178 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 96 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 179 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 180 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 34 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 55 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 97 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 181 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 182 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 98 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 183 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 184 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 56 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 99 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 185 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 186 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 100 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 187 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 188 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ ├─ 24 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 35 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 57 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ├─ 101 (split) -┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ ┃ └─ 189 (leaf, pending) -┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 190 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 102 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 191 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 192 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 58 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 103 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 193 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 194 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 104 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 195 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 196 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ ├─ 36 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 59 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ ├─ 105 (split) -┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ │ pc: 0 -┃ ┃ ┃ │ callDepth: 1 -┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┃ (branch) -┃ ┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ ┃ │ -┃ ┃ ┃ ┃ └─ 197 (leaf, pending) -┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ ┃ pc: 0 -┃ ┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ ┃ -┃ ┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 198 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 106 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 199 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 200 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ ├─ 60 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ ├─ 107 (split) -┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ │ pc: 0 -┃ ┃ │ callDepth: 1 -┃ ┃ │ statusCode: STATUSCODE:StatusCode -┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ │ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┃ (branch) -┃ ┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ ┃ constraint: true -┃ ┃ ┃ │ -┃ ┃ ┃ └─ 201 (leaf, pending) -┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ ┃ pc: 0 -┃ ┃ ┃ callDepth: 1 -┃ ┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ ┃ -┃ ┃ ┗━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 202 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ ├─ 108 (split) -┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ │ pc: 0 -┃ │ callDepth: 1 -┃ │ statusCode: STATUSCODE:StatusCode -┃ │ src: test/nested/SimpleNested.t.sol:7:11 -┃ │ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┃ (branch) -┃ ┣━━┓ subst: .Subst -┃ ┃ ┃ constraint: true -┃ ┃ │ -┃ ┃ └─ 203 (leaf, pending) -┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ ┃ pc: 0 -┃ ┃ callDepth: 1 -┃ ┃ statusCode: STATUSCODE:StatusCode -┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ ┃ method: test%CallableStorageContract.str() -┃ ┃ -┃ ┗━━┓ subst: .Subst -┃ ┃ constraint: true -┃ │ -┃ └─ 204 (leaf, pending) -┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K -┃ pc: 0 -┃ callDepth: 1 -┃ statusCode: STATUSCODE:StatusCode -┃ src: test/nested/SimpleNested.t.sol:7:11 -┃ method: test%CallableStorageContract.str() -┃ -┗━━┓ subst: .Subst - ┃ constraint: true - │ - ├─ 16 (split) - │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - │ pc: 0 - │ callDepth: 1 - │ statusCode: STATUSCODE:StatusCode - │ src: test/nested/SimpleNested.t.sol:7:11 - │ method: test%CallableStorageContract.str() - ┃ - ┃ (branch) - ┣━━┓ subst: .Subst - ┃ ┃ constraint: - ┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) - ┃ │ - ┃ ├─ 19 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 25 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ ├─ 37 (split) - ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ ├─ 61 (split) - ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ ┃ ├─ 109 (split) - ┃ ┃ ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ ┃ ┃ └─ 205 (leaf, pending) - ┃ ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ ┃ └─ 206 (leaf, pending) - ┃ ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ └─ 110 (leaf, pending) - ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ ├─ 62 (split) - ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ └─ 111 (leaf, pending) - ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 112 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 38 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ ├─ 63 (split) - ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ └─ 113 (leaf, pending) - ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 114 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 64 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 115 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 116 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 26 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 39 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ ├─ 65 (split) - ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ └─ 117 (leaf, pending) - ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 118 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 66 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 119 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 120 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 40 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 67 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 121 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 122 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 68 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 123 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ └─ 124 (leaf, pending) - ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ pc: 0 - ┃ callDepth: 1 - ┃ statusCode: STATUSCODE:StatusCode - ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ method: test%CallableStorageContract.str() - ┃ - ┗━━┓ subst: .Subst - ┃ constraint: true - │ - ├─ 20 (split) - │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - │ pc: 0 - │ callDepth: 1 - │ statusCode: STATUSCODE:StatusCode - │ src: test/nested/SimpleNested.t.sol:7:11 - │ method: test%CallableStorageContract.str() - ┃ - ┃ (branch) - ┣━━┓ subst: .Subst - ┃ ┃ constraint: - ┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) - ┃ │ - ┃ ├─ 27 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 41 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ ├─ 69 (split) - ┃ ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ │ pc: 0 - ┃ ┃ ┃ │ callDepth: 1 - ┃ ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┃ (branch) - ┃ ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ ┃ │ - ┃ ┃ ┃ ┃ └─ 125 (leaf, pending) - ┃ ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ ┃ - ┃ ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 126 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 70 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 127 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 128 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 42 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 71 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 129 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 130 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 72 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 131 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ └─ 132 (leaf, pending) - ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ pc: 0 - ┃ callDepth: 1 - ┃ statusCode: STATUSCODE:StatusCode - ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ method: test%CallableStorageContract.str() - ┃ - ┗━━┓ subst: .Subst - ┃ constraint: true - │ - ├─ 28 (split) - │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - │ pc: 0 - │ callDepth: 1 - │ statusCode: STATUSCODE:StatusCode - │ src: test/nested/SimpleNested.t.sol:7:11 - │ method: test%CallableStorageContract.str() - ┃ - ┃ (branch) - ┣━━┓ subst: .Subst - ┃ ┃ constraint: - ┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) - ┃ │ - ┃ ├─ 43 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ ├─ 73 (split) - ┃ ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ │ pc: 0 - ┃ ┃ │ callDepth: 1 - ┃ ┃ │ statusCode: STATUSCODE:StatusCode - ┃ ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┃ (branch) - ┃ ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ ┃ constraint: true - ┃ ┃ ┃ │ - ┃ ┃ ┃ └─ 133 (leaf, pending) - ┃ ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ ┃ pc: 0 - ┃ ┃ ┃ callDepth: 1 - ┃ ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ ┃ - ┃ ┃ ┗━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 134 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ ├─ 74 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 135 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ └─ 136 (leaf, pending) - ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ pc: 0 - ┃ callDepth: 1 - ┃ statusCode: STATUSCODE:StatusCode - ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ method: test%CallableStorageContract.str() - ┃ - ┗━━┓ subst: .Subst - ┃ constraint: true - │ - ├─ 44 (split) - │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - │ pc: 0 - │ callDepth: 1 - │ statusCode: STATUSCODE:StatusCode - │ src: test/nested/SimpleNested.t.sol:7:11 - │ method: test%CallableStorageContract.str() - ┃ - ┃ (branch) - ┣━━┓ subst: .Subst - ┃ ┃ constraint: - ┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) - ┃ │ - ┃ ├─ 75 (split) - ┃ │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ │ pc: 0 - ┃ │ callDepth: 1 - ┃ │ statusCode: STATUSCODE:StatusCode - ┃ │ src: test/nested/SimpleNested.t.sol:7:11 - ┃ │ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┃ (branch) - ┃ ┣━━┓ subst: .Subst - ┃ ┃ ┃ constraint: true - ┃ ┃ │ - ┃ ┃ └─ 137 (leaf, pending) - ┃ ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ ┃ pc: 0 - ┃ ┃ callDepth: 1 - ┃ ┃ statusCode: STATUSCODE:StatusCode - ┃ ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ ┃ method: test%CallableStorageContract.str() - ┃ ┃ - ┃ ┗━━┓ subst: .Subst - ┃ ┃ constraint: true - ┃ │ - ┃ └─ 138 (leaf, pending) - ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ pc: 0 - ┃ callDepth: 1 - ┃ statusCode: STATUSCODE:StatusCode - ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ method: test%CallableStorageContract.str() - ┃ - ┗━━┓ subst: .Subst - ┃ constraint: true - │ - ├─ 76 (split) - │ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - │ pc: 0 - │ callDepth: 1 - │ statusCode: STATUSCODE:StatusCode - │ src: test/nested/SimpleNested.t.sol:7:11 - │ method: test%CallableStorageContract.str() - ┃ - ┃ (branch) - ┣━━┓ subst: .Subst - ┃ ┃ constraint: - ┃ ┃ ( notBool C_CALLABLESTORAGECONTRACT_STR_S_LENGTH:Int ==Int 0 ) - ┃ │ - ┃ └─ 139 (leaf, pending) - ┃ k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - ┃ pc: 0 - ┃ callDepth: 1 - ┃ statusCode: STATUSCODE:StatusCode - ┃ src: test/nested/SimpleNested.t.sol:7:11 - ┃ method: test%CallableStorageContract.str() - ┃ - ┗━━┓ subst: .Subst - ┃ constraint: true - │ - └─ 140 (leaf, pending) - k: #execute ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K - pc: 0 - callDepth: 1 - statusCode: STATUSCODE:StatusCode - src: test/nested/SimpleNested.t.sol:7:11 - method: test%CallableStorageContract.str() - - -┌─ 10 (root, leaf, target, terminal) +│ +│ (1 step) +├─ 15 +│ k: #halt ~> #return 128 0 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K +│ pc: 86 +│ callDepth: 1 +│ statusCode: EVMC_SUCCESS +│ src: test/nested/SimpleNested.t.sol:7:11 +│ method: test%CallableStorageContract.str() +│ +│ (1 step) +├─ 16 +│ k: #popCallStack ~> #dropWorldState ~> 1 ~> #push ~> #refund 0 ~> #setLocalMem 128 ... +│ pc: 86 +│ callDepth: 1 +│ statusCode: EVMC_SUCCESS +│ src: test/nested/SimpleNested.t.sol:7:11 +│ method: test%CallableStorageContract.str() +│ +│ (1734 steps) +├─ 17 +│ k: #end EVMC_SUCCESS ~> #pc [ STOP ] ~> #execute ~> CONTINUATION:K +│ pc: 240 +│ callDepth: 0 +│ statusCode: EVMC_SUCCESS +│ src: lib/forge-std/src/StdInvariant.sol:77:79 +│ method: test%CallableStorageTest.test_str() +│ +│ (1 step) +├─ 18 +│ k: #halt ~> #pc [ STOP ] ~> #execute ~> CONTINUATION:K +│ pc: 240 +│ callDepth: 0 +│ statusCode: EVMC_SUCCESS +│ src: lib/forge-std/src/StdInvariant.sol:77:79 +│ method: test%CallableStorageTest.test_str() +│ +│ (2 steps) +├─ 19 (terminal) │ k: #halt ~> CONTINUATION:K -│ pc: PC_CELL_5d410f2a:Int -│ callDepth: CALLDEPTH_CELL_5d410f2a:Int -│ statusCode: STATUSCODE_FINAL:StatusCode +│ pc: 240 +│ callDepth: 0 +│ statusCode: EVMC_SUCCESS +│ src: lib/forge-std/src/StdInvariant.sol:77:79 +│ method: test%CallableStorageTest.test_str() +│ +┊ constraint: true +┊ subst: ... +└─ 10 (leaf, target, terminal) + k: #halt ~> CONTINUATION:K + pc: PC_CELL_5d410f2a:Int + callDepth: CALLDEPTH_CELL_5d410f2a:Int + statusCode: STATUSCODE_FINAL:StatusCode + @@ -4095,5 +1928,1682 @@ module SUMMARY-TEST%CALLABLESTORAGETEST.TEST-STR():0 andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) ) )))))))))))) [priority(20), label(BASIC-BLOCK-13-TO-14)] + + rule [BASIC-BLOCK-14-TO-15]: + + + ( #execute => #halt ) + ~> #return 128 0 + ~> #pc [ STATICCALL ] + ~> #execute + ~> _CONTINUATION + + + NORMAL + + + SHANGHAI + + + false + + + + + ( b"" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) + + + ( _STATUSCODE => EVMC_SUCCESS ) + + + ListItem ( + + 728815563385977040452943777879061427756277306518 + + + CALLER_ID:Int + + + b"\x0e\xa2\nJ" + + + 0 + + + ( 132 : ( selector ( "str()" ) : ( 491460923342184218035706888008750043977755113263 : ( 764 : ( 239 : ( selector ( "test_str()" ) : .WordStack ) ) ) ) ) ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc1[\xae\x84\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + false + + + 0 + + ... + ) + + + ListItem ( { + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + | + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + SetItem ( 491460923342184218035706888008750043977755113263 ) + + + .Map + + } ) + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + + 491460923342184218035706888008750043977755113263 + + + 728815563385977040452943777879061427756277306518 + + + b"\xc1[\xae\x84" + + + 0 + + + ( .WordStack => ( 95 : ( selector ( "str()" ) : .WordStack ) ) ) + + + ( b"" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) + + + 0 + + + 0 + + + true + + + 1 + + ... + + + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + .Map + + + + ORIGIN_ID:Int + + + + NUMBER_CELL:Int + + + TIMESTAMP_CELL:Int + + ... + + ... + + + + 1 + + + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + + ... + + + ... + + + true + + + + + false + + + false + + ... + + + + false + + ... + + + + false + + ... + + + + false + + + false + + ... + + + + false + + + false + + + .List + + + .List + + + + .MockCallCellMap + + + .MockFunctionCellMap + + + + + false + + + false + + + false + + + false + + + false + + + .List + + + + requires ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + + + ( #halt + ~> #return 128 0 => #popCallStack + ~> #dropWorldState + ~> 1 + ~> #push + ~> #refund 0 + ~> #setLocalMem 128 0 b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) + ~> #pc [ STATICCALL ] + ~> #execute + ~> _CONTINUATION + + + NORMAL + + + SHANGHAI + + + false + + + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + EVMC_SUCCESS + + + ListItem ( + + 728815563385977040452943777879061427756277306518 + + + CALLER_ID:Int + + + b"\x0e\xa2\nJ" + + + 0 + + + ( 132 : ( selector ( "str()" ) : ( 491460923342184218035706888008750043977755113263 : ( 764 : ( 239 : ( selector ( "test_str()" ) : .WordStack ) ) ) ) ) ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc1[\xae\x84\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + false + + + 0 + + ... + ) + + + ListItem ( { + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + | + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + SetItem ( 491460923342184218035706888008750043977755113263 ) + + + .Map + + } ) + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + + 491460923342184218035706888008750043977755113263 + + + 728815563385977040452943777879061427756277306518 + + + b"\xc1[\xae\x84" + + + 0 + + + ( 95 : ( selector ( "str()" ) : .WordStack ) ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + true + + + 1 + + ... + + + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + .Map + + + + ORIGIN_ID:Int + + + + NUMBER_CELL:Int + + + TIMESTAMP_CELL:Int + + ... + + ... + + + + 1 + + + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + + ... + + + ... + + + true + + + + + false + + + false + + ... + + + + false + + ... + + + + false + + ... + + + + false + + + false + + ... + + + + false + + + false + + + .List + + + .List + + + + .MockCallCellMap + + + .MockFunctionCellMap + + + + + false + + + false + + + false + + + false + + + false + + + .List + + + + requires ( _?V_4352d4b8 ==K b"\x16" + andBool ( _C_CALLABLESTORAGECONTRACT_STR_S_LENGTH ==Int 11 + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + + + ( #popCallStack + ~> #dropWorldState + ~> 1 + ~> #push + ~> #refund 0 + ~> #setLocalMem 128 0 b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + ~> #pc [ STATICCALL ] => #end EVMC_SUCCESS + ~> #pc [ STOP ] ) + ~> #execute + ~> _CONTINUATION + + + NORMAL + + + SHANGHAI + + + false + + + + + ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"" ) + + + EVMC_SUCCESS + + + ( ListItem ( + + 728815563385977040452943777879061427756277306518 + + + CALLER_ID:Int + + + b"\x0e\xa2\nJ" + + + 0 + + + ( 132 : ( selector ( "str()" ) : ( 491460923342184218035706888008750043977755113263 : ( 764 : ( 239 : ( selector ( "test_str()" ) : .WordStack ) ) ) ) ) ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc1[\xae\x84\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + false + + + 0 + + ... + ) => .List ) + + + ( ListItem ( { + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + | + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + SetItem ( 491460923342184218035706888008750043977755113263 ) + + + .Map + + } ) => .List ) + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + + ( 491460923342184218035706888008750043977755113263 => 728815563385977040452943777879061427756277306518 ) + + + ( 728815563385977040452943777879061427756277306518 => CALLER_ID:Int ) + + + ( b"\xc1[\xae\x84" => b"\x0e\xa2\nJ" ) + + + 0 + + + ( ( 95 => selector ( "test_str()" ) ) : ( ( selector ( "str()" ) : .WordStack ) => .WordStack ) ) + + + ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xc0\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\xb6\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) + + + 0 + + + 0 + + + ( true => false ) + + + ( 1 => 0 ) + + ... + + + + SELFDESTRUCT_CELL:Set + + + .List + + + 0 + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + .Map + + + + ORIGIN_ID:Int + + + + NUMBER_CELL:Int + + + TIMESTAMP_CELL:Int + + ... + + ... + + + + 1 + + + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + + ... + + + ... + + + true + + + + + false + + + false + + ... + + + + false + + ... + + + + false + + ... + + + + false + + + false + + ... + + + + false + + + false + + + .List + + + .List + + + + .MockCallCellMap + + + .MockFunctionCellMap + + + + + false + + + false + + + false + + + false + + + false + + + .List + + + + requires ( _?V_4352d4b8 ==K b"\x16" + andBool ( _C_CALLABLESTORAGECONTRACT_STR_S_LENGTH ==Int 11 + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + + + ( #end EVMC_SUCCESS => #halt ) + ~> #pc [ STOP ] + ~> #execute + ~> _CONTINUATION + + + NORMAL + + + SHANGHAI + + + false + + + + + b"" + + + EVMC_SUCCESS + + + .List + + + .List + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + + 728815563385977040452943777879061427756277306518 + + + CALLER_ID:Int + + + b"\x0e\xa2\nJ" + + + 0 + + + ( selector ( "test_str()" ) : .WordStack ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\xb6\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + false + + + 0 + + ... + + + + .List + + + 0 + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + .Map + + ... + + + ORIGIN_ID:Int + + + + NUMBER_CELL:Int + + + TIMESTAMP_CELL:Int + + ... + + ... + + + + 1 + + + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + + ... + + + ... + + + true + + + + + false + + + false + + ... + + + + false + + ... + + + + false + + ... + + + + false + + + false + + ... + + + + false + + + false + + + .List + + + .List + + + + .MockCallCellMap + + + .MockFunctionCellMap + + + + + false + + + false + + + false + + + false + + + false + + + .List + + + + requires ( _?V_4352d4b8 ==K b"\x16" + andBool ( _C_CALLABLESTORAGECONTRACT_STR_S_LENGTH ==Int 11 + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + + + #halt + ~> ( #pc [ STOP ] + ~> #execute => .K ) + ~> _CONTINUATION + + + NORMAL + + + SHANGHAI + + + false + + + + + b"" + + + EVMC_SUCCESS + + + .List + + + .List + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + + 728815563385977040452943777879061427756277306518 + + + CALLER_ID:Int + + + b"\x0e\xa2\nJ" + + + 0 + + + ( selector ( "test_str()" ) : .WordStack ) + + + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\xb6\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00 \x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x0bTest String\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + + + 0 + + + 0 + + + false + + + 0 + + ... + + + + .List + + + 0 + + + ( SetItem ( 491460923342184218035706888008750043977755113263 ) SetItem ( 728815563385977040452943777879061427756277306518 ) ) + + + .Map + + ... + + + ORIGIN_ID:Int + + + + NUMBER_CELL:Int + + + TIMESTAMP_CELL:Int + + ... + + ... + + + + 1 + + + ( + + 491460923342184218035706888008750043977755113263 + + + 0 + + + ( 1 |-> 38173527666125012420903057510883648337146588125343045899690344136765597548566 ) + + + .Map + + + .Map + + + 1 + + ... + + ( + + 645326474426547203313410069153905908525362434349 + + + 0 + + + .Map + + + .Map + + + .Map + + + 0 + + ... + + + + 728815563385977040452943777879061427756277306518 + + + 0 + + + ( 27 |-> 491460923342184218035706888008750043977755113263 ) + + + .Map + + + .Map + + + 2 + + ... + ) ) + + ... + + + ... + + + true + + + + + false + + + false + + ... + + + + false + + ... + + + + false + + ... + + + + false + + + false + + ... + + + + false + + + false + + + .List + + + .List + + + + .MockCallCellMap + + + .MockFunctionCellMap + + + + + false + + + false + + + false + + + false + + + false + + + .List + + + + requires ( _?V_4352d4b8 ==K b"\x16" + andBool ( _C_CALLABLESTORAGECONTRACT_STR_S_LENGTH ==Int 11 + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 CONTINUATION:K │ pc: 0 │ callDepth: CALLDEPTH_CELL:Int │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: test%ImportedContract.set(uint256) +│ +│ (1 step) +├─ 15 (terminal) +│ k: #halt ~> CONTINUATION:K +│ pc: ?_PC_CELL_5d410f2a:Int +│ callDepth: ?_CALLDEPTH_CELL_5d410f2a:Int +│ statusCode: ?_STATUSCODE_FINAL:StatusCode +│ +┊ constraint: true +┊ subst: ... +└─ 2 (leaf, target, terminal) + k: #halt ~> CONTINUATION:K + pc: PC_CELL_5d410f2a:Int + callDepth: CALLDEPTH_CELL_5d410f2a:Int + statusCode: STATUSCODE_FINAL:StatusCode -┌─ 13 (root, leaf, pending) + +┌─ 13 (root) │ k: #execute ~> CONTINUATION:K │ pc: 0 │ callDepth: CALLDEPTH_CELL:Int │ statusCode: STATUSCODE:StatusCode │ src: test/nested/SimpleNested.t.sol:7:11 │ method: test%ImportedContract.set(uint256) +│ +│ (1 step) +├─ 16 (terminal) +│ k: #halt ~> CONTINUATION:K +│ pc: ?_PC_CELL_5d410f2a:Int +│ callDepth: ?_CALLDEPTH_CELL_5d410f2a:Int +│ statusCode: ?_STATUSCODE_FINAL:StatusCode +│ +┊ constraint: true +┊ subst: ... +└─ 2 (leaf, target, terminal) + k: #halt ~> CONTINUATION:K + pc: PC_CELL_5d410f2a:Int + callDepth: CALLDEPTH_CELL_5d410f2a:Int + statusCode: STATUSCODE_FINAL:StatusCode + module SUMMARY-TEST%IMPORTEDCONTRACT.SET(UINT256):0 + rule [BASIC-BLOCK-12-TO-15]: + + + ( #execute => #halt ) + ~> _CONTINUATION + + + ( _EXITCODE_CELL => ?_?_EXIT_CODE_CELL_5d410f2a ) + + + ( NORMAL => ?_?_MODE_CELL_5d410f2a ) + + + ( SHANGHAI => ?_?_SCHEDULE_CELL_5d410f2a ) + + + ( false => ?_?_USEGAS_CELL_5d410f2a ) + + + + + ( _OUTPUT_CELL => ?_?_OUTPUT_FINAL ) + + + ( _STATUSCODE => ?_?_STATUSCODE_FINAL ) + + + ( _CALLSTACK_CELL => ?_?_CALLSTACK_CELL_5d410f2a ) + + + ( _INTERIMSTATES_CELL => ?_?_INTERIMSTATES_CELL_5d410f2a ) + + + ( _TOUCHEDACCOUNTS_CELL => ?_?_TOUCHEDACCOUNTS_CELL_5d410f2a ) + + + + ( C_IMPORTEDCONTRACT_ID:Int => ?_?_ID_CELL_5d410f2a ) + + + ( CALLER_ID:Int => ?_?_CALLER_CELL_5d410f2a ) + + + ( b"`\xfeG\xb1" +Bytes #buf ( 32 , KV0_x:Int ) => ?_?_CALLDATA_CELL_5d410f2a ) + + + ( 0 => ?_?_CALLVALUE_CELL_5d410f2a ) + + + ( .WordStack => ?_?_WORDSTACK_CELL_5d410f2a ) + + + ( b"" => ?_?_LOCALMEM_CELL_5d410f2a ) + + + ( 0 => ?_?_MEMORYUSED_CELL_5d410f2a ) + + + ( 0 => ?_?_CALLGAS_CELL_5d410f2a ) + + + ( false => ?_?_STATIC_CELL_5d410f2a ) + + + ( _CALLDEPTH_CELL => ?_?_CALLDEPTH_CELL_5d410f2a ) + + ... + + + + ( _SELFDESTRUCT_CELL => ?_?_SELFDESTRUCT_CELL_5d410f2a ) + + + ( _LOG_CELL => ?_?_LOG_CELL_5d410f2a ) + + + ( 0 => ?_?_REFUND_CELL_5d410f2a ) + + + ( _ACCESSEDACCOUNTS_CELL => ?_?_ACCESSEDACCOUNTS_CELL_5d410f2a ) + + + ( _ACCESSEDSTORAGE_CELL => ?_?_ACCESSEDSTORAGE_CELL_5d410f2a ) + + + + ( _GASPRICE_CELL => ?_?_GASPRICE_CELL_5d410f2a ) + + + ( ORIGIN_ID:Int => ?_?_ORIGIN_CELL_5d410f2a ) + + + ( _BLOCKHASHES_CELL => ?_?_BLOCKHASHES_CELL_5d410f2a ) + + + + ( _PREVIOUSHASH_CELL => ?_?_PREVIOUSHASH_CELL_5d410f2a ) + + + ( _OMMERSHASH_CELL => ?_?_OMMERSHASH_CELL_5d410f2a ) + + + ( _COINBASE_CELL => ?_?_COINBASE_CELL_5d410f2a ) + + + ( _STATEROOT_CELL => ?_?_STATEROOT_CELL_5d410f2a ) + + + ( _TRANSACTIONSROOT_CELL => ?_?_TRANSACTIONSROOT_CELL_5d410f2a ) + + + ( _RECEIPTSROOT_CELL => ?_?_RECEIPTSROOT_CELL_5d410f2a ) + + + ( _LOGSBLOOM_CELL => ?_?_LOGSBLOOM_CELL_5d410f2a ) + + + ( _DIFFICULTY_CELL => ?_?_DIFFICULTY_CELL_5d410f2a ) + + + ( NUMBER_CELL:Int => ?_?_NUMBER_CELL_5d410f2a ) + + + ( _GASLIMIT_CELL => ?_?_GASLIMIT_CELL_5d410f2a ) + + + ( _GASUSED_CELL => ?_?_GASUSED_CELL_5d410f2a ) + + + ( TIMESTAMP_CELL:Int => ?_?_TIMESTAMP_CELL_5d410f2a ) + + + ( _EXTRADATA_CELL => ?_?_EXTRADATA_CELL_5d410f2a ) + + + ( _MIXHASH_CELL => ?_?_MIXHASH_CELL_5d410f2a ) + + + ( _BLOCKNONCE_CELL => ?_?_BLOCKNONCE_CELL_5d410f2a ) + + + ( _BASEFEE_CELL => ?_?_BASEFEE_CELL_5d410f2a ) + + + ( _WITHDRAWALSROOT_CELL => ?_?_WITHDRAWALSROOT_CELL_5d410f2a ) + + + ( _BLOBGASUSED_CELL => ?_?_BLOBGASUSED_CELL_5d410f2a ) + + + ( _EXCESSBLOBGAS_CELL => ?_?_EXCESSBLOBGAS_CELL_5d410f2a ) + + + ( _BEACONROOT_CELL => ?_?_BEACONROOT_CELL_5d410f2a ) + + + ( _OMMERBLOCKHEADERS_CELL => ?_?_OMMERBLOCKHEADERS_CELL_5d410f2a ) + + + + + + ( 1 => ?_?_CHAINID_CELL_5d410f2a ) + + + ( ( + + C_IMPORTEDCONTRACT_ID:Int + + + C_IMPORTEDCONTRACT_BAL:Int + + + C_IMPORTEDCONTRACT_STORAGE:Map + + + C_IMPORTEDCONTRACT_NONCE:Int + + ... + + ACCOUNTS_REST:AccountCellMap ) => ?_?_ACCOUNTS_CELL_5d410f2a ) + + + ( _TXORDER_CELL => ?_?_TXORDER_CELL_5d410f2a ) + + + ( _TXPENDING_CELL => ?_?_TXPENDING_CELL_5d410f2a ) + + + ( _MESSAGES_CELL => ?_?_MESSAGES_CELL_5d410f2a ) + + + + + + ( true => ?_?_STACKCHECKS_CELL_5d410f2a ) + + + + + ( _PREVCALLER_CELL => ?_?_PREVCALLER_CELL_5d410f2a ) + + + ( _PREVORIGIN_CELL => ?_?_PREVORIGIN_CELL_5d410f2a ) + + + ( _NEWCALLER_CELL => ?_?_NEWCALLER_CELL_5d410f2a ) + + + ( _NEWORIGIN_CELL => ?_?_NEWORIGIN_CELL_5d410f2a ) + + + ( _ACTIVE_CELL => ?_?_ACTIVE_CELL_5d410f2a ) + + + ( _DEPTH_CELL => ?_?_DEPTH_CELL_5d410f2a ) + + + ( _SINGLECALL_CELL => ?_?_SINGLECALL_CELL_5d410f2a ) + + + + + ( _ISREVERTEXPECTED_CELL => ?_?_ISREVERTEXPECTED_FINAL ) + + + ( _EXPECTEDREASON_CELL => ?_?_EXPECTEDREASON_CELL_5d410f2a ) + + + ( _EXPECTEDDEPTH_CELL => ?_?_EXPECTEDDEPTH_CELL_5d410f2a ) + + + + + ( false => ?_?_ISOPCODEEXPECTED_FINAL ) + + + ( _EXPECTEDADDRESS_CELL => ?_?_EXPECTEDADDRESS_CELL_5d410f2a ) + + + ( _EXPECTEDVALUE_CELL => ?_?_EXPECTEDVALUE_CELL_5d410f2a ) + + + ( _EXPECTEDDATA_CELL => ?_?_EXPECTEDDATA_CELL_5d410f2a ) + + + ( _OPCODETYPE_CELL => ?_?_OPCODETYPE_CELL_5d410f2a ) + + + + + ( _RECORDEVENT_CELL => ?_?_RECORDEVENT_FINAL ) + + + ( _ISEVENTEXPECTED_CELL => ?_?_ISEVENTEXPECTED_FINAL ) + + + ( _CHECKEDTOPICS_CELL => ?_?_CHECKEDTOPICS_CELL_5d410f2a ) + + + ( _CHECKEDDATA_CELL => ?_?_CHECKEDDATA_CELL_5d410f2a ) + + + ( _EXPECTEDEVENTADDRESS_CELL => ?_?_EXPECTEDEVENTADDRESS_CELL_5d410f2a ) + + + + + ( false => ?_?_ISCALLWHITELISTACTIVE_FINAL ) + + + ( false => ?_?_ISSTORAGEWHITELISTACTIVE_FINAL ) + + + ( .List => ?_?_ADDRESSLIST_FINAL ) + + + ( .List => ?_?_STORAGESLOTLIST_FINAL ) + + + + ( .MockCallCellMap => ?_?_MOCKCALLS_CELL_5d410f2a ) + + + ( .MockFunctionCellMap => ?_?_MOCKFUNCTIONS_CELL_5d410f2a ) + + + + + ( false => ?_?_ACTIVETRACING_CELL_5d410f2a ) + + + ( false => ?_?_TRACESTORAGE_CELL_5d410f2a ) + + + ( false => ?_?_TRACEWORDSTACK_CELL_5d410f2a ) + + + ( false => ?_?_TRACEMEMORY_CELL_5d410f2a ) + + + ( false => ?_?_RECORDEDTRACE_CELL_5d410f2a ) + + + ( .List => ?_?_TRACEDATA_CELL_5d410f2a ) + + + + requires ( 0 <=Int KV0_x:Int + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + C_IMPORTEDCONTRACT_ID:Int + in_keys ( ACCOUNTS_REST:AccountCellMap ) ) + andBool ( 3 <=Int #lookup ( C_IMPORTEDCONTRACT_STORAGE:Map , 0 ) + andBool ( ( notBool #range ( 0 < CALLER_ID:Int <= 9 ) ) + andBool ( ( notBool #range ( 0 < ORIGIN_ID:Int <= 9 ) ) + andBool ( ( notBool #range ( 0 < C_IMPORTEDCONTRACT_ID:Int <= 9 ) ) + )))))))))))))))))))))))) + [priority(20), label(BASIC-BLOCK-12-TO-15)] + + rule [BASIC-BLOCK-13-TO-16]: + + + ( #execute => #halt ) + ~> _CONTINUATION + + + ( _EXITCODE_CELL => ?_?_EXIT_CODE_CELL_5d410f2a ) + + + ( NORMAL => ?_?_MODE_CELL_5d410f2a ) + + + ( SHANGHAI => ?_?_SCHEDULE_CELL_5d410f2a ) + + + ( false => ?_?_USEGAS_CELL_5d410f2a ) + + + + + ( _OUTPUT_CELL => ?_?_OUTPUT_FINAL ) + + + ( _STATUSCODE => ?_?_STATUSCODE_FINAL ) + + + ( _CALLSTACK_CELL => ?_?_CALLSTACK_CELL_5d410f2a ) + + + ( _INTERIMSTATES_CELL => ?_?_INTERIMSTATES_CELL_5d410f2a ) + + + ( _TOUCHEDACCOUNTS_CELL => ?_?_TOUCHEDACCOUNTS_CELL_5d410f2a ) + + + + ( C_IMPORTEDCONTRACT_ID:Int => ?_?_ID_CELL_5d410f2a ) + + + ( CALLER_ID:Int => ?_?_CALLER_CELL_5d410f2a ) + + + ( b"`\xfeG\xb1" +Bytes #buf ( 32 , KV0_x:Int ) => ?_?_CALLDATA_CELL_5d410f2a ) + + + ( 0 => ?_?_CALLVALUE_CELL_5d410f2a ) + + + ( .WordStack => ?_?_WORDSTACK_CELL_5d410f2a ) + + + ( b"" => ?_?_LOCALMEM_CELL_5d410f2a ) + + + ( 0 => ?_?_MEMORYUSED_CELL_5d410f2a ) + + + ( 0 => ?_?_CALLGAS_CELL_5d410f2a ) + + + ( false => ?_?_STATIC_CELL_5d410f2a ) + + + ( _CALLDEPTH_CELL => ?_?_CALLDEPTH_CELL_5d410f2a ) + + ... + + + + ( _SELFDESTRUCT_CELL => ?_?_SELFDESTRUCT_CELL_5d410f2a ) + + + ( _LOG_CELL => ?_?_LOG_CELL_5d410f2a ) + + + ( 0 => ?_?_REFUND_CELL_5d410f2a ) + + + ( _ACCESSEDACCOUNTS_CELL => ?_?_ACCESSEDACCOUNTS_CELL_5d410f2a ) + + + ( _ACCESSEDSTORAGE_CELL => ?_?_ACCESSEDSTORAGE_CELL_5d410f2a ) + + + + ( _GASPRICE_CELL => ?_?_GASPRICE_CELL_5d410f2a ) + + + ( ORIGIN_ID:Int => ?_?_ORIGIN_CELL_5d410f2a ) + + + ( _BLOCKHASHES_CELL => ?_?_BLOCKHASHES_CELL_5d410f2a ) + + + + ( _PREVIOUSHASH_CELL => ?_?_PREVIOUSHASH_CELL_5d410f2a ) + + + ( _OMMERSHASH_CELL => ?_?_OMMERSHASH_CELL_5d410f2a ) + + + ( _COINBASE_CELL => ?_?_COINBASE_CELL_5d410f2a ) + + + ( _STATEROOT_CELL => ?_?_STATEROOT_CELL_5d410f2a ) + + + ( _TRANSACTIONSROOT_CELL => ?_?_TRANSACTIONSROOT_CELL_5d410f2a ) + + + ( _RECEIPTSROOT_CELL => ?_?_RECEIPTSROOT_CELL_5d410f2a ) + + + ( _LOGSBLOOM_CELL => ?_?_LOGSBLOOM_CELL_5d410f2a ) + + + ( _DIFFICULTY_CELL => ?_?_DIFFICULTY_CELL_5d410f2a ) + + + ( NUMBER_CELL:Int => ?_?_NUMBER_CELL_5d410f2a ) + + + ( _GASLIMIT_CELL => ?_?_GASLIMIT_CELL_5d410f2a ) + + + ( _GASUSED_CELL => ?_?_GASUSED_CELL_5d410f2a ) + + + ( TIMESTAMP_CELL:Int => ?_?_TIMESTAMP_CELL_5d410f2a ) + + + ( _EXTRADATA_CELL => ?_?_EXTRADATA_CELL_5d410f2a ) + + + ( _MIXHASH_CELL => ?_?_MIXHASH_CELL_5d410f2a ) + + + ( _BLOCKNONCE_CELL => ?_?_BLOCKNONCE_CELL_5d410f2a ) + + + ( _BASEFEE_CELL => ?_?_BASEFEE_CELL_5d410f2a ) + + + ( _WITHDRAWALSROOT_CELL => ?_?_WITHDRAWALSROOT_CELL_5d410f2a ) + + + ( _BLOBGASUSED_CELL => ?_?_BLOBGASUSED_CELL_5d410f2a ) + + + ( _EXCESSBLOBGAS_CELL => ?_?_EXCESSBLOBGAS_CELL_5d410f2a ) + + + ( _BEACONROOT_CELL => ?_?_BEACONROOT_CELL_5d410f2a ) + + + ( _OMMERBLOCKHEADERS_CELL => ?_?_OMMERBLOCKHEADERS_CELL_5d410f2a ) + + + + + + ( 1 => ?_?_CHAINID_CELL_5d410f2a ) + + + ( ( + + C_IMPORTEDCONTRACT_ID:Int + + + C_IMPORTEDCONTRACT_BAL:Int + + + C_IMPORTEDCONTRACT_STORAGE:Map + + + C_IMPORTEDCONTRACT_NONCE:Int + + ... + + ACCOUNTS_REST:AccountCellMap ) => ?_?_ACCOUNTS_CELL_5d410f2a ) + + + ( _TXORDER_CELL => ?_?_TXORDER_CELL_5d410f2a ) + + + ( _TXPENDING_CELL => ?_?_TXPENDING_CELL_5d410f2a ) + + + ( _MESSAGES_CELL => ?_?_MESSAGES_CELL_5d410f2a ) + + + + + + ( true => ?_?_STACKCHECKS_CELL_5d410f2a ) + + + + + ( _PREVCALLER_CELL => ?_?_PREVCALLER_CELL_5d410f2a ) + + + ( _PREVORIGIN_CELL => ?_?_PREVORIGIN_CELL_5d410f2a ) + + + ( _NEWCALLER_CELL => ?_?_NEWCALLER_CELL_5d410f2a ) + + + ( _NEWORIGIN_CELL => ?_?_NEWORIGIN_CELL_5d410f2a ) + + + ( _ACTIVE_CELL => ?_?_ACTIVE_CELL_5d410f2a ) + + + ( _DEPTH_CELL => ?_?_DEPTH_CELL_5d410f2a ) + + + ( _SINGLECALL_CELL => ?_?_SINGLECALL_CELL_5d410f2a ) + + + + + ( _ISREVERTEXPECTED_CELL => ?_?_ISREVERTEXPECTED_FINAL ) + + + ( _EXPECTEDREASON_CELL => ?_?_EXPECTEDREASON_CELL_5d410f2a ) + + + ( _EXPECTEDDEPTH_CELL => ?_?_EXPECTEDDEPTH_CELL_5d410f2a ) + + + + + ( false => ?_?_ISOPCODEEXPECTED_FINAL ) + + + ( _EXPECTEDADDRESS_CELL => ?_?_EXPECTEDADDRESS_CELL_5d410f2a ) + + + ( _EXPECTEDVALUE_CELL => ?_?_EXPECTEDVALUE_CELL_5d410f2a ) + + + ( _EXPECTEDDATA_CELL => ?_?_EXPECTEDDATA_CELL_5d410f2a ) + + + ( _OPCODETYPE_CELL => ?_?_OPCODETYPE_CELL_5d410f2a ) + + + + + ( _RECORDEVENT_CELL => ?_?_RECORDEVENT_FINAL ) + + + ( _ISEVENTEXPECTED_CELL => ?_?_ISEVENTEXPECTED_FINAL ) + + + ( _CHECKEDTOPICS_CELL => ?_?_CHECKEDTOPICS_CELL_5d410f2a ) + + + ( _CHECKEDDATA_CELL => ?_?_CHECKEDDATA_CELL_5d410f2a ) + + + ( _EXPECTEDEVENTADDRESS_CELL => ?_?_EXPECTEDEVENTADDRESS_CELL_5d410f2a ) + + + + + ( false => ?_?_ISCALLWHITELISTACTIVE_FINAL ) + + + ( false => ?_?_ISSTORAGEWHITELISTACTIVE_FINAL ) + + + ( .List => ?_?_ADDRESSLIST_FINAL ) + + + ( .List => ?_?_STORAGESLOTLIST_FINAL ) + + + + ( .MockCallCellMap => ?_?_MOCKCALLS_CELL_5d410f2a ) + + + ( .MockFunctionCellMap => ?_?_MOCKFUNCTIONS_CELL_5d410f2a ) + + + + + ( false => ?_?_ACTIVETRACING_CELL_5d410f2a ) + + + ( false => ?_?_TRACESTORAGE_CELL_5d410f2a ) + + + ( false => ?_?_TRACEWORDSTACK_CELL_5d410f2a ) + + + ( false => ?_?_TRACEMEMORY_CELL_5d410f2a ) + + + ( false => ?_?_RECORDEDTRACE_CELL_5d410f2a ) + + + ( .List => ?_?_TRACEDATA_CELL_5d410f2a ) + + + + requires ( 0 <=Int KV0_x:Int + andBool ( 0 <=Int CALLER_ID:Int + andBool ( 0 <=Int ORIGIN_ID:Int + andBool ( pow24 + C_IMPORTEDCONTRACT_ID:Int + in_keys ( ACCOUNTS_REST:AccountCellMap ) ) + andBool ( #lookup ( C_IMPORTEDCONTRACT_STORAGE:Map , 0 )