diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/asm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/asm.md index 52156ff8ab..b44203c5e3 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/asm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/asm.md @@ -105,6 +105,8 @@ Operator `#revOps` can be used to reverse a program. rule #asmOpCode( GASLIMIT ) => 69 rule #asmOpCode( CHAINID ) => 70 rule #asmOpCode( SELFBALANCE ) => 71 + rule #asmOpCode( BASEFEE ) => 72 + rule #asmOpCode( BLOBHASH ) => 73 rule #asmOpCode( POP ) => 80 rule #asmOpCode( MLOAD ) => 81 rule #asmOpCode( MSTORE ) => 82 diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md index 13316460f5..759ec4d0f6 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md @@ -111,14 +111,16 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a ListItem(TXID:Int) ... MINER - TXID - GLIMIT - .Account - VALUE - CODE - TA + TXID + GLIMIT + .Account + VALUE + CODE + TA + TVH ... + _ => TVH ACCTFROM BAL => BAL -Int (GLIMIT *Int #effectiveGasPrice(TXID)) @@ -147,14 +149,16 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a ListItem(TXID:Int) ... MINER - TXID - GLIMIT - ACCTTO - VALUE - DATA - TA + TXID + GLIMIT + ACCTTO + VALUE + DATA + TA + TVH ... + _ => TVH ACCTFROM BAL => BAL -Int (GLIMIT *Int #effectiveGasPrice(TXID)) @@ -597,7 +601,7 @@ Here we check the other post-conditions associated with an EVM test. rule check "transactions" : "blobVersionedHashes" : [ .JSONs ] => .K ... rule check "transactions" : "blobVersionedHashes" : [ VHASH, REST ] => check "transactions" : "blobVersionedHashes" : VHASH ~> check "transactions" : "blobVersionedHashes" : [ REST ] ... - rule check "transactions" : ("blobVersionedHashes" : VHASH ) => .K ... ListItem(TXID) ... TXID VH ... requires isInVersionedHashes(VHASH, VH) + rule check "transactions" : ("blobVersionedHashes" : VHASH ) => .K ... ListItem(TXID) ... TXID VH ... requires VHASH in VH rule check "transactions" : ("data" : VALUE) => .K ... ListItem(TXID) ... TXID VALUE ... rule check "transactions" : ("gasLimit" : VALUE) => .K ... ListItem(TXID) ... TXID VALUE ... @@ -627,14 +631,6 @@ Here we check the other post-conditions associated with an EVM test. rule isInAccessListStorage(KEY, [SKEY, REST]) => #if KEY ==Int #asWord(SKEY) #then true #else isInAccessListStorage(KEY, [REST]) #fi - - // Different from AccessList, Versioned Hashs doesn't contains a list of key-value jsons, but a list of strings finishing in .JSONs like [ "0x01...", "0x02", .JSONs] - syntax Bool ::= isInVersionedHashes(Bytes, JSON) [symbol(isInVersionedHashes), function] - // --------------------------------------------------------------------------------------- - rule isInVersionedHashes(_, [.JSONs]) => false - rule isInVersionedHashes(KEY, [SKEY, REST]) => #if KEY ==K SKEY - #then true - #else isInVersionedHashes(KEY, [REST]) #fi ``` TODO: case with nonzero ommers. diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md index 430f17b033..b401b2f2a4 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md @@ -468,12 +468,12 @@ Productions related to transactions syntax TxData ::= LegacyTx | AccessListTx | DynamicFeeTx | BlobTx // ----------------------------------------------------------------- - syntax LegacyTx ::= LegacyTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes ) [symbol(LegacyTxData)] - | LegacySignedTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, networkChainId: Int ) [symbol(LegacySignedTxData)] - syntax AccessListTx ::= AccessListTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, chainId: Int, accessLists: JSONs ) [symbol(AccessListTxData)] - syntax DynamicFeeTx ::= DynamicFeeTxData ( nonce: Int, priorityGasFee: Int, maxGasFee: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, chainId: Int, accessLists: JSONs) [symbol(DynamicFeeTxData)] - syntax BlobTx ::= BlobTxData ( nonce: Int, priorityGasFee: Int, maxGasFee: Int, gasLimit: Int, to: AccountNotNil, value: Int, data: Bytes, chainId: Int, accessLists: JSONs, maxBlobGasFee: Int, blobVersionedHashes: JSONs ) [symbol(BlobTxData)] - // ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- + syntax LegacyTx ::= LegacyTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes ) [symbol(LegacyTxData)] + | LegacySignedTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, networkChainId: Int ) [symbol(LegacySignedTxData)] + syntax AccessListTx ::= AccessListTxData ( nonce: Int, gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, chainId: Int, accessLists: JSONs ) [symbol(AccessListTxData)] + syntax DynamicFeeTx ::= DynamicFeeTxData ( nonce: Int, priorityGasFee: Int, maxGasFee: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, chainId: Int, accessLists: JSONs) [symbol(DynamicFeeTxData)] + syntax BlobTx ::= BlobTxData ( nonce: Int, priorityGasFee: Int, maxGasFee: Int, gasLimit: Int, to: AccountNotNil, value: Int, data: Bytes, chainId: Int, accessLists: JSONs, maxBlobGasFee: Int, blobVersionedHashes: List ) [symbol(BlobTxData)] + // --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- endmodule ``` diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md index 43349e3add..0eea58e296 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md @@ -75,6 +75,8 @@ In the comments next to each cell, we've marked which component of the YellowPap 0 + .List + // A_* (execution substate) .Set // A_s @@ -168,7 +170,7 @@ In the comments next to each cell, we've marked which component of the YellowPap 0 // T_m .TxType // T_x 0 - [ .JSONs ] + .List @@ -1081,7 +1083,7 @@ These operators make queries about the current execution state. rule GASPRICE => GPRICE ~> #push ... GPRICE rule GASLIMIT => GLIMIT ~> #push ... GLIMIT rule BASEFEE => BFEE ~> #push ... BFEE - rule BLOBBASEFEE => #baseFeePerBlobGas(BLOBGAS) ~> #push ... BLOBGAS + rule BLOBBASEFEE => #baseFeePerBlobGas(BLOBGAS) ~> #push ... BLOBGAS requires notBool #rangeNegUInt64(BLOBGAS) syntax NullStackOp ::= "COINBASE" | "TIMESTAMP" | "NUMBER" | "DIFFICULTY" | "PREVRANDAO" // ---------------------------------------------------------------------------------------- @@ -1137,6 +1139,19 @@ The blockhash is calculated here using the "shortcut" formula used for running t rule #blockhash(ListItem(_) L, N, HI, A) => #blockhash(L, N, HI -Int 1, A +Int 1) [owise] ``` +```k + syntax UnStackOp ::= "BLOBHASH" + // ------------------------------- + + rule BLOBHASH INDEX => 0 ~> #push ... + HASHES + requires INDEX >=Int size(HASHES) + + rule BLOBHASH INDEX => #asWord( {HASHES[INDEX]}:>Bytes ) ~> #push ... + HASHES + requires INDEX #gasExec(SCHED, PUSH(_)) => Gverylow < SCHED > ... rule #gasExec(SCHED, DUP(_) _) => Gverylow < SCHED > ... rule #gasExec(SCHED, SWAP(_) _) => Gverylow < SCHED > ... + rule #gasExec(SCHED, BLOBHASH _) => Gverylow < SCHED > ... // Wlow rule #gasExec(SCHED, MUL _ _) => Glow < SCHED > ... @@ -2525,6 +2541,7 @@ After interpreting the strings representing programs as a `WordStack`, it should rule #dasmOpCode( 70, SCHED ) => CHAINID requires Ghaschainid << SCHED >> rule #dasmOpCode( 71, SCHED ) => SELFBALANCE requires Ghasselfbalance << SCHED >> rule #dasmOpCode( 72, SCHED ) => BASEFEE requires Ghasbasefee << SCHED >> + rule #dasmOpCode( 73, SCHED ) => BLOBHASH requires Ghasblobhash << SCHED >> rule #dasmOpCode( 74, SCHED ) => BLOBBASEFEE requires Ghasblobbasefee << SCHED >> rule #dasmOpCode( 80, _ ) => POP rule #dasmOpCode( 81, _ ) => MLOAD diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md index 7d9553bd14..74ddf6fdcb 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md @@ -29,8 +29,7 @@ module SCHEDULE | "Ghassstorestipend" | "Ghaschainid" | "Ghasaccesslist" | "Ghasbasefee" | "Ghasrejectedfirstbyte" | "Ghasprevrandao" | "Ghasmaxinitcodesize" | "Ghaspushzero" | "Ghaswarmcoinbase" | "Ghaswithdrawals" | "Ghastransient" | "Ghasmcopy" - | "Ghasbeaconroot" | "Ghaseip6780" | "Ghasblobbasefee" - // ------------------------------------------------------------------------------------------ + | "Ghasbeaconroot" | "Ghaseip6780" | "Ghasblobbasefee" | "Ghasblobhash" ``` ### Schedule Constants @@ -153,6 +152,7 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule Ghasmcopy << DEFAULT >> => false rule Ghasbeaconroot << DEFAULT >> => false rule Ghaseip6780 << DEFAULT >> => false + rule Ghasblobhash << DEFAULT >> => false ``` ### Frontier Schedule @@ -398,12 +398,14 @@ A `ScheduleConst` is a constant determined by the fee schedule. rule Ghasbeaconroot << CANCUN >> => true rule Ghaseip6780 << CANCUN >> => true rule Ghasblobbasefee << CANCUN >> => true - rule SCHEDFLAG << CANCUN >> => SCHEDFLAG << SHANGHAI >> + rule Ghasblobhash << CANCUN >> => true + rule SCHEDFLAG << CANCUN >> => SCHEDFLAG << SHANGHAI >> requires notBool ( SCHEDFLAG ==K Ghastransient orBool SCHEDFLAG ==K Ghasmcopy orBool SCHEDFLAG ==K Ghasbeaconroot orBool SCHEDFLAG ==K Ghaseip6780 orBool SCHEDFLAG ==K Ghasblobbasefee + orBool SCHEDFLAG ==K Ghasblobhash ) ``` ```k diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md index f6ae417b26..c07246e1bf 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md @@ -231,6 +231,7 @@ Unparsing - `#addrBytes` Takes an Account and represents it as a 20-byte wide Bytes (or an empty Bytes for a null address) - `#addrBytesNotNil` Takes an Account and represents it as a 20-byte wide Bytes. It throws an error if the account is null. - `#wordBytes` Takes an Int and represents it as a 32-byte wide Bytes +- `#parseList2JSONs` Takes a List of Bytes and represents it as a JSON array. ```k syntax Bytes ::= #addrBytes ( Account ) [symbol(#addrBytes), function] @@ -239,6 +240,11 @@ Unparsing rule #addrBytes(.Account) => .Bytes rule #addrBytes(ACCT) => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT) rule #wordBytes(WORD) => #padToWidth(32, #asByteStack(WORD)) requires #rangeUInt(256, WORD) + + syntax JSONs ::= #parseList2JSONs ( List ) [function] + // ---------------------------------------------------- + rule #parseList2JSONs( .List ) => .JSONs + rule #parseList2JSONs( ListItem(X:Bytes) REST ) => X , #parseList2JSONs(REST) ``` Recursive Length Prefix (RLP) @@ -352,8 +358,8 @@ Encoding rule #rlpEncodeTxData( DynamicFeeTxData(TN, TF, TM, TG, TT, TV, DATA, TC, [TA]) ) => #rlpEncode( [ TC, TN, TF, TM, TG, #addrBytes(TT), TV, DATA, [TA] ] ) - rule #rlpEncodeTxData( BlobTxData(TN, TF, TM, TG, TT, TV, DATA, CID, [TA], TB, [TVH]) ) - => #rlpEncode( [ CID, TN, TF, TM, TG, #addrBytes({TT}:>Account), TV, DATA, [TA], TB, [TVH] ] ) + rule #rlpEncodeTxData( BlobTxData(TN, TF, TM, TG, TT, TV, DATA, CID, [TA], TB, TVH) ) + => #rlpEncode( [ CID, TN, TF, TM, TG, #addrBytes({TT}:>Account), TV, DATA, [TA], TB, [#parseList2JSONs(TVH)] ] ) syntax Bytes ::= #rlpEncodeMerkleTree ( MerkleTree ) [symbol(#rlpEncodeMerkleTree), function] // --------------------------------------------------------------------------------------------- diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md index 593841f7b0..dd1ddec6be 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md @@ -190,6 +190,14 @@ The `"network"` key allows setting the fee schedule inside the test. rule #asScheduleString("ShanghaiToCancunAtTime15k") => CANCUN ``` +- `#parseJSONs2List` parse a JSON object with string values into a list of value. +```k + syntax List ::= "#parseJSONs2List" "(" JSONs ")" [function] + // ---------------------------------------------------------- + rule #parseJSONs2List ( .JSONs ) => .List + rule #parseJSONs2List ( (VAL:Bytes) , REST ) => ListItem(VAL) #parseJSONs2List ( REST ) +``` + The `"rlp"` key loads the block information. ```k @@ -353,7 +361,7 @@ The `"rlp"` key loads the block information. requires #asWord(TYPE) ==Int #dasmTxPrefix(DynamicFee) - rule load "transaction" : [ [TYPE , [TC, TN, TP, TF, TG, TT, TV, TI, TA, TY, TVH, TB, TR, TS ]] , REST ] + rule load "transaction" : [ [TYPE , [TC, TN, TP, TF, TG, TT, TV, TI, TA, TB, TVH, TY, TR, TS ]] , REST ] => mkTX !ID:Int ~> loadTransaction !ID { "data" : TI , "gasLimit" : TG , "maxPriorityFeePerGas" : TP , "nonce" : TN , "r" : TR , "s" : TS @@ -418,7 +426,7 @@ The `"rlp"` key loads the block information. TXID _ => TB ... rule loadTransaction TXID { "blobVersionedHashes" : [TVH:JSONs], REST => REST } ... - TXID _ => [TVH] ... + TXID _ => #parseJSONs2List(TVH) ... ``` ### Getting State diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md index e50e505aa7..dd631d43bf 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md @@ -25,6 +25,7 @@ These can be used for pattern-matching on the LHS of rules as well (`alias` attr | "pow40" [alias] /* 2 ^Int 40 */ | "pow48" [alias] /* 2 ^Int 48 */ | "pow56" [alias] /* 2 ^Int 56 */ + | "pow63" [alias] /* 2 ^Int 63 */ | "pow64" [alias] /* 2 ^Int 64 */ | "pow72" [alias] /* 2 ^Int 72 */ | "pow80" [alias] /* 2 ^Int 80 */ @@ -60,6 +61,7 @@ These can be used for pattern-matching on the LHS of rules as well (`alias` attr rule pow40 => 1099511627776 rule pow48 => 281474976710656 rule pow56 => 72057594037927936 + rule pow63 => 9223372036854775808 rule pow64 => 18446744073709551616 rule pow72 => 4722366482869645213696 rule pow80 => 1208925819614629174706176 @@ -470,16 +472,17 @@ Range of types -------------- ```k - syntax Bool ::= #rangeBool ( Int ) [symbol(rangeBool) , alias] - | #rangeSInt ( Int , Int ) [symbol(rangeSInt) , alias] - | #rangeUInt ( Int , Int ) [symbol(rangeUInt) , alias] - | #rangeSFixed ( Int , Int , Int ) [symbol(rangeSFixed) , alias] - | #rangeUFixed ( Int , Int , Int ) [symbol(rangeUFixed) , alias] - | #rangeAddress ( Int ) [symbol(rangeAddress) , alias] - | #rangeBytes ( Int , Int ) [symbol(rangeBytes) , alias] - | #rangeNonce ( Int ) [symbol(rangeNonce) , alias] - | #rangeSmall ( Int ) [symbol(rangeSmall) , alias] - | #rangeBlockNum ( Int ) [symbol(rangeBlockNum), alias] + syntax Bool ::= #rangeBool ( Int ) [symbol(rangeBool) , alias] + | #rangeSInt ( Int , Int ) [symbol(rangeSInt) , alias] + | #rangeUInt ( Int , Int ) [symbol(rangeUInt) , alias] + | #rangeSFixed ( Int , Int , Int ) [symbol(rangeSFixed) , alias] + | #rangeUFixed ( Int , Int , Int ) [symbol(rangeUFixed) , alias] + | #rangeAddress ( Int ) [symbol(rangeAddress) , alias] + | #rangeBytes ( Int , Int ) [symbol(rangeBytes) , alias] + | #rangeNonce ( Int ) [symbol(rangeNonce) , alias] + | #rangeSmall ( Int ) [symbol(rangeSmall) , alias] + | #rangeBlockNum ( Int ) [symbol(rangeBlockNum) , alias] + | #rangeNegUInt64( Int ) [symbol(rangeNegUInt64), alias] // --------------------------------------------------------------------------------- rule #rangeBool ( X ) => #range ( 0 <= X < 2 ) @@ -557,6 +560,7 @@ Range of types rule #rangeNonce ( X ) => #range ( 0 <= X < maxUInt64 ) rule #rangeSmall ( X ) => #range ( 0 <= X < 10 ) rule #rangeBlockNum ( X ) => #range ( 0 <= X <= maxBlockNum ) + rule #rangeNegUInt64( X ) => #range ( pow63 <= X < pow64 ) syntax Bool ::= "#range" "(" Int "<" Int "<" Int ")" [alias] | "#range" "(" Int "<" Int "<=" Int ")" [alias] diff --git a/tests/failing.llvm b/tests/failing.llvm index 315ff42d5e..4bdedde40f 100644 --- a/tests/failing.llvm +++ b/tests/failing.llvm @@ -2,19 +2,35 @@ BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/blobhashList BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/blobhashListBounds4.json,* BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/blobhashListBounds5.json,* BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/blobhashListBounds6.json,* +BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/blobhashListBounds7.json,* BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/createBlobhashTx.json,* +BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/emptyBlobhashList.json,* BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/opcodeBlobhashOutOfRange.json,* BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/opcodeBlobhBounds.json,* +BlockchainTests/GeneralStateTests/Cancun/stEIP4844-blobtransactions/wrongBlobhashVersion.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip1153_tstore/tstore_clear_after_deployment_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip1153_tstore/tstore_clear_after_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4788_beacon_root/beacon_root_transition.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4788_beacon_root/tx_to_beacon_root_contract.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4788_beacon_root/test_beacon_root_contract.py::test_tx_to_beacon_root_contract[fork_Cancun-tx_type_3-blockchain_test-call_beacon_root_contract_True-auto_access_list_False] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4788_beacon_root/tx_to_beacon_root_contract.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4788_beacon_root/test_beacon_root_contract.py::test_tx_to_beacon_root_contract[fork_Cancun-tx_type_3-blockchain_test-call_beacon_root_contract_True-auto_access_list_True] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blob_gas_subtraction_tx.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_0] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_1] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_115792089237316195423570985008687907853269984665640564039457584007913129639935] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_2] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_3] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_4] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_gas_cost.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode.py::test_blobhash_gas_cost[fork_Cancun-tx_type_3-blockchain_test-blobhash_index_72901072107898194510616918724280211781393090952923809435170590639787343028527] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_invalid_blob_index.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_multiple_txs_in_block.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CALLCODE-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CALL-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE2-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_CREATE-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_DELEGATECALL-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_max_value-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_STATICCALL-fork_Cancun-blockchain_test] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_opcode_contexts.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blobhash_opcode_contexts.py::test_blobhash_opcode_contexts[opcode_context_on_top_level_call_stack-fork_Cancun-blockchain_test] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blobhash_scenarios.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blob_tx_attribute_calldata_opcodes.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blob_tx_attribute_gasprice_opcode.json,* @@ -27,168 +43,27 @@ BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/correct_excess_bl BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/correct_increasing_blob_gas_costs.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/external_vectors.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/fork_transition_excess_blob_gas.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1,)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 1, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 2)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 1, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 2, 2)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 2, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(1, 5)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 2, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 2, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(2, 2, 2)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(3,)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(3, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(3, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(3, 2, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(4,)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(4, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx_combinations[fork_Cancun-blockchain_test--exact_balance_minus_1-blobs_per_tx_(5,)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-no_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_one_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_0-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_7-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_0-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_1-tx_max_priority_fee_per_gas_0-tx_max_fee_per_gas_14-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_14-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_insufficient_balance_blob_tx[fork_Cancun-blockchain_test--exact_balance_minus_1-tx_max_fee_per_blob_gas_1-single_zero_calldata-tx_value_1-tx_max_priority_fee_per_gas_7-tx_max_fee_per_gas_7-no_access_list] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_131072] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_18446744073709551615] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_262144] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_393216] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_524288] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_655360] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_blob_gas_used_786432] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_131072] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_18446744073709551615] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_393216] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_524288] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_655360] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_2-header_blob_gas_used_786432] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_131072] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_18446744073709551615] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_262144] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_524288] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_655360] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_blob_gas_used_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_3-header_blob_gas_used_786432] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_hash_versioning_multiple_txs.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_blob_hash_versioning_multiple_txs[fork_Cancun-blockchain_test--multiple_blobs_single_bad_hash_2] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx_combinations.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/insufficient_balance_blob_tx.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_hash_versioning_multiple_txs.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_hash_versioning_single_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_tx_contract_creation.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 1, 1, 1, 1, 2)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 1, 1, 1, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 1, 1, 4)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 1, 2, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 3, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(1, 6)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(2, 1, 1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(2, 2, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(2, 2, 2, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(2, 2, 3)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(2, 5)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(3, 1, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(3, 2, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(3, 2, 2)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(3, 3, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(4, 1, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(4, 2, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(5, 1, 1)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,"src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_invalid_block_blob_count[fork_Cancun-blockchain_test--blobs_per_tx_(7,)]" -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_-1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_-2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_-3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_2-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_-1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_-2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_-3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_3-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_-1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_-2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_-3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_4-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_-1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_-2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_-3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_change[fork_Cancun-blockchain_test-new_blobs_1-parent_blobs_5-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_2-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_2-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_2-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_2-header_excess_blobs_delta_4] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_2-header_excess_blobs_delta_5] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_3-header_excess_blobs_delta_1] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_3-header_excess_blobs_delta_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_3-header_excess_blobs_delta_3] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_3-header_excess_blobs_delta_4] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_excess_blob_gas_target_blobs_increase_from_zero[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_3-header_excess_blobs_delta_5] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_block_blob_count.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_above_target_change.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_change.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_excess_blob_gas_target_blobs_increase_from_zero.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_inputs.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_0-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709158400] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_0-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709289472] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_0-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709420544] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_1-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709158400] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_1-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709289472] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_1-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709420544] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_2-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709158400] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_2-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709289472] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_negative_excess_blob_gas[fork_Cancun-blockchain_test-parent_excess_blobs_2-new_blobs_1-parent_blobs_2-header_excess_blob_gas_18446744073709420544] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_negative_excess_blob_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_non_multiple_excess_blob_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_normal_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_post_fork_block_without_blob_fields.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_pre_fork_block_with_blob_fields.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_4-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas_from_zero_on_blobs_above_target[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_0-parent_blobs_5-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_1-parent_blobs_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_1-parent_blobs_4] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_1-parent_blobs_5] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_3-parent_blobs_2] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_3-parent_blobs_4] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_static_excess_blob_gas[fork_Cancun-blockchain_test-new_blobs_1-parent_excess_blobs_3-parent_blobs_5] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_static_excess_blob_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_tx_blob_count.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_tx_max_fee_per_blob_gas.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_0-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_1-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_2-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_2-new_blobs_1-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_3-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_3-new_blobs_1-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_4-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_4-new_blobs_1-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_5-new_blobs_0-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_5-new_blobs_1-header_excess_blob_gas_0] -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_excess_blob_gas.py::test_invalid_zero_excess_blob_gas_in_header[fork_Cancun-blockchain_test-parent_blobs_6-new_blobs_0-header_excess_blob_gas_0] +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_zero_excess_blob_gas_in_header.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/point_evaluation_precompile_gas_usage.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_before_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_during_fork.json,* @@ -209,13 +84,11 @@ BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/selfdestru BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip7516_blobgasfee/blobbasefee_before_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip7516_blobgasfee/blobbasefee_during_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/constantinople/eip1014_create2/recreate.json,* -BlockchainTests/GeneralStateTests/Pyspecs/frontier/opcodes/all_opcodes.json,src/GeneralStateTestsFiller/Pyspecs/frontier/opcodes/test_all_opcodes.py::test_all_opcodes[fork_Cancun-blockchain_test] BlockchainTests/GeneralStateTests/Pyspecs/frontier/opcodes/double_kill.json,* BlockchainTests/GeneralStateTests/Pyspecs/paris/security/tx_selfdestruct_balance_bug.json,* BlockchainTests/GeneralStateTests/Pyspecs/shanghai/eip4895_withdrawals/no_evm_execution.json,* BlockchainTests/GeneralStateTests/Pyspecs/shanghai/eip4895_withdrawals/withdrawing_to_precompiles.json,src/GeneralStateTestsFiller/Pyspecs/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Cancun-precompile_0x000000000000000000000000000000000000000a-blockchain_test-amount_0] BlockchainTests/GeneralStateTests/Pyspecs/shanghai/eip4895_withdrawals/withdrawing_to_precompiles.json,src/GeneralStateTestsFiller/Pyspecs/shanghai/eip4895_withdrawals/test_withdrawals.py::test_withdrawing_to_precompiles[fork_Cancun-precompile_0x000000000000000000000000000000000000000a-blockchain_test-amount_1] -BlockchainTests/GeneralStateTests/stBadOpcode/opc49DiffPlaces.json,* BlockchainTests/GeneralStateTests/stEIP1559/lowFeeCap.json,* BlockchainTests/GeneralStateTests/stEIP1559/lowGasLimit.json,lowGasLimit_d0g0v0_Cancun BlockchainTests/GeneralStateTests/stEIP1559/lowGasPriceOldTypes.json,* diff --git a/tests/failing/ContractCreationSpam_d0g0v0.json.expected b/tests/failing/ContractCreationSpam_d0g0v0.json.expected index 161d6afcd6..af6b319865 100644 --- a/tests/failing/ContractCreationSpam_d0g0v0.json.expected +++ b/tests/failing/ContractCreationSpam_d0g0v0.json.expected @@ -75,6 +75,9 @@ -1 + + .List + .Set @@ -323,7 +326,7 @@ 0 - [ .JSONs ] + .List diff --git a/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected b/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected index d32fa2ba98..8daec9ae0d 100644 --- a/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected +++ b/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected @@ -75,6 +75,9 @@ -1 + + .List + .Set @@ -369,7 +372,7 @@ 0 - [ .JSONs ] + .List diff --git a/tests/specs/benchmarks/address00-spec.k b/tests/specs/benchmarks/address00-spec.k index f97de0ceb2..9ba1c43d59 100644 --- a/tests/specs/benchmarks/address00-spec.k +++ b/tests/specs/benchmarks/address00-spec.k @@ -32,6 +32,7 @@ module ADDRESS00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/bytes00-spec.k b/tests/specs/benchmarks/bytes00-spec.k index c245793149..496f5f41db 100644 --- a/tests/specs/benchmarks/bytes00-spec.k +++ b/tests/specs/benchmarks/bytes00-spec.k @@ -32,6 +32,7 @@ module BYTES00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/dynamicarray00-spec.k b/tests/specs/benchmarks/dynamicarray00-spec.k index e1a07a18e5..cc3a9b19fa 100644 --- a/tests/specs/benchmarks/dynamicarray00-spec.k +++ b/tests/specs/benchmarks/dynamicarray00-spec.k @@ -32,6 +32,7 @@ module DYNAMICARRAY00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k b/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k index 6a5cad3aad..de36cac6f6 100644 --- a/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k +++ b/tests/specs/benchmarks/ecrecover00-siginvalid-spec.k @@ -32,6 +32,7 @@ module ECRECOVER00-SIGINVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k b/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k index d5795dc41f..ced775b4b5 100644 --- a/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k +++ b/tests/specs/benchmarks/ecrecover00-sigvalid-spec.k @@ -32,6 +32,7 @@ module ECRECOVER00-SIGVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k index 6bcae09aec..4978daa97b 100644 --- a/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop00-sig0-invalid-spec.k @@ -35,6 +35,7 @@ module ECRECOVERLOOP00-SIG0-INVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k index 4cc2b04e1d..cbdfbf79ea 100644 --- a/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop00-sig1-invalid-spec.k @@ -35,6 +35,7 @@ module ECRECOVERLOOP00-SIG1-INVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k b/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k index fcfa874ed4..76490afec7 100644 --- a/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop00-sigs-valid-spec.k @@ -35,6 +35,7 @@ module ECRECOVERLOOP00-SIGS-VALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k index c72f45b0b1..bfcc1f5a44 100644 --- a/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop02-sig0-invalid-spec.k @@ -36,6 +36,7 @@ module ECRECOVERLOOP02-SIG0-INVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k index a1af3c6b75..99469ca4e0 100644 --- a/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop02-sig1-invalid-spec.k @@ -36,6 +36,7 @@ module ECRECOVERLOOP02-SIG1-INVALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k b/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k index 55105995b4..cf5cc13b37 100644 --- a/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k +++ b/tests/specs/benchmarks/ecrecoverloop02-sigs-valid-spec.k @@ -36,6 +36,7 @@ module ECRECOVERLOOP02-SIGS-VALID-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/encode-keccak00-spec.k b/tests/specs/benchmarks/encode-keccak00-spec.k index e8fd09fe69..1351846a29 100644 --- a/tests/specs/benchmarks/encode-keccak00-spec.k +++ b/tests/specs/benchmarks/encode-keccak00-spec.k @@ -32,6 +32,7 @@ module ENCODE-KECCAK00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/encodepacked-keccak01-spec.k b/tests/specs/benchmarks/encodepacked-keccak01-spec.k index 8e0c1b099e..7e1325a476 100644 --- a/tests/specs/benchmarks/encodepacked-keccak01-spec.k +++ b/tests/specs/benchmarks/encodepacked-keccak01-spec.k @@ -32,6 +32,7 @@ module ENCODEPACKED-KECCAK01-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/keccak00-spec.k b/tests/specs/benchmarks/keccak00-spec.k index 5b84cfadca..8268f55e1c 100644 --- a/tests/specs/benchmarks/keccak00-spec.k +++ b/tests/specs/benchmarks/keccak00-spec.k @@ -32,6 +32,7 @@ module KECCAK00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/overflow00-nooverflow-spec.k b/tests/specs/benchmarks/overflow00-nooverflow-spec.k index 137fe3fb60..ccbf7c6319 100644 --- a/tests/specs/benchmarks/overflow00-nooverflow-spec.k +++ b/tests/specs/benchmarks/overflow00-nooverflow-spec.k @@ -32,6 +32,7 @@ module OVERFLOW00-NOOVERFLOW-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/overflow00-overflow-spec.k b/tests/specs/benchmarks/overflow00-overflow-spec.k index 56ea8b04b7..4b1487d7cd 100644 --- a/tests/specs/benchmarks/overflow00-overflow-spec.k +++ b/tests/specs/benchmarks/overflow00-overflow-spec.k @@ -32,6 +32,7 @@ module OVERFLOW00-OVERFLOW-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/requires01-a0gt0-spec.k b/tests/specs/benchmarks/requires01-a0gt0-spec.k index 6a6f85a5fe..0b2b8d51c5 100644 --- a/tests/specs/benchmarks/requires01-a0gt0-spec.k +++ b/tests/specs/benchmarks/requires01-a0gt0-spec.k @@ -32,6 +32,7 @@ module REQUIRES01-A0GT0-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/requires01-a0le0-spec.k b/tests/specs/benchmarks/requires01-a0le0-spec.k index 556d527ef4..d3bb0cc20d 100644 --- a/tests/specs/benchmarks/requires01-a0le0-spec.k +++ b/tests/specs/benchmarks/requires01-a0le0-spec.k @@ -32,6 +32,7 @@ module REQUIRES01-A0LE0-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/staticarray00-spec.k b/tests/specs/benchmarks/staticarray00-spec.k index 455bdcab3b..dcadd9f133 100644 --- a/tests/specs/benchmarks/staticarray00-spec.k +++ b/tests/specs/benchmarks/staticarray00-spec.k @@ -32,6 +32,7 @@ module STATICARRAY00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/staticloop00-a0lt10-spec.k b/tests/specs/benchmarks/staticloop00-a0lt10-spec.k index 4fcf8a674a..3e7f313f51 100644 --- a/tests/specs/benchmarks/staticloop00-a0lt10-spec.k +++ b/tests/specs/benchmarks/staticloop00-a0lt10-spec.k @@ -32,6 +32,7 @@ module STATICLOOP00-A0LT10-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/storagevar00-spec.k b/tests/specs/benchmarks/storagevar00-spec.k index 0dcea00de8..d178b20aea 100644 --- a/tests/specs/benchmarks/storagevar00-spec.k +++ b/tests/specs/benchmarks/storagevar00-spec.k @@ -32,6 +32,7 @@ module STORAGEVAR00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/storagevar01-spec.k b/tests/specs/benchmarks/storagevar01-spec.k index 0e1831e79d..f58d32567b 100644 --- a/tests/specs/benchmarks/storagevar01-spec.k +++ b/tests/specs/benchmarks/storagevar01-spec.k @@ -32,6 +32,7 @@ module STORAGEVAR01-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/storagevar02-nooverflow-spec.k b/tests/specs/benchmarks/storagevar02-nooverflow-spec.k index 716dd3d943..ba90ba93c5 100644 --- a/tests/specs/benchmarks/storagevar02-nooverflow-spec.k +++ b/tests/specs/benchmarks/storagevar02-nooverflow-spec.k @@ -32,6 +32,7 @@ module STORAGEVAR02-NOOVERFLOW-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/storagevar02-overflow-spec.k b/tests/specs/benchmarks/storagevar02-overflow-spec.k index 9f71edb4c2..ca906a9067 100644 --- a/tests/specs/benchmarks/storagevar02-overflow-spec.k +++ b/tests/specs/benchmarks/storagevar02-overflow-spec.k @@ -32,6 +32,7 @@ module STORAGEVAR02-OVERFLOW-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/storagevar03-spec.k b/tests/specs/benchmarks/storagevar03-spec.k index f9af80cb4e..a28f913d3c 100644 --- a/tests/specs/benchmarks/storagevar03-spec.k +++ b/tests/specs/benchmarks/storagevar03-spec.k @@ -32,6 +32,7 @@ module STORAGEVAR03-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/structarg00-spec.k b/tests/specs/benchmarks/structarg00-spec.k index c3f6dd5df3..6fe5ee1f08 100644 --- a/tests/specs/benchmarks/structarg00-spec.k +++ b/tests/specs/benchmarks/structarg00-spec.k @@ -32,6 +32,7 @@ module STRUCTARG00-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/benchmarks/structarg01-spec.k b/tests/specs/benchmarks/structarg01-spec.k index 4b2248b055..33b731e532 100644 --- a/tests/specs/benchmarks/structarg01-spec.k +++ b/tests/specs/benchmarks/structarg01-spec.k @@ -32,6 +32,7 @@ module STRUCTARG01-SPEC false // NOTE: non-static call CD + _ _ _ diff --git a/tests/specs/erc20/ds/allowance-spec.k b/tests/specs/erc20/ds/allowance-spec.k index 469d4f0d86..c94f767926 100644 --- a/tests/specs/erc20/ds/allowance-spec.k +++ b/tests/specs/erc20/ds/allowance-spec.k @@ -40,6 +40,7 @@ module ALLOWANCE-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/approve-failure-spec.k b/tests/specs/erc20/ds/approve-failure-spec.k index 3aff6f2b78..377edde866 100644 --- a/tests/specs/erc20/ds/approve-failure-spec.k +++ b/tests/specs/erc20/ds/approve-failure-spec.k @@ -40,6 +40,7 @@ module APPROVE-FAILURE-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/approve-success-spec.k b/tests/specs/erc20/ds/approve-success-spec.k index 9087968865..6570ac3740 100644 --- a/tests/specs/erc20/ds/approve-success-spec.k +++ b/tests/specs/erc20/ds/approve-success-spec.k @@ -40,6 +40,7 @@ module APPROVE-SUCCESS-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/balanceOf-spec.k b/tests/specs/erc20/ds/balanceOf-spec.k index 648fe59b0c..a2092eab45 100644 --- a/tests/specs/erc20/ds/balanceOf-spec.k +++ b/tests/specs/erc20/ds/balanceOf-spec.k @@ -40,6 +40,7 @@ module BALANCEOF-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/totalSupply-spec.k b/tests/specs/erc20/ds/totalSupply-spec.k index 32106c3083..87b3f25780 100644 --- a/tests/specs/erc20/ds/totalSupply-spec.k +++ b/tests/specs/erc20/ds/totalSupply-spec.k @@ -40,6 +40,7 @@ module TOTALSUPPLY-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-failure-1-a-spec.k b/tests/specs/erc20/ds/transfer-failure-1-a-spec.k index 7a87d4b9c8..1cb58a4d84 100644 --- a/tests/specs/erc20/ds/transfer-failure-1-a-spec.k +++ b/tests/specs/erc20/ds/transfer-failure-1-a-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-1-A-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-failure-1-b-spec.k b/tests/specs/erc20/ds/transfer-failure-1-b-spec.k index 3ec5bc4831..18a528b603 100644 --- a/tests/specs/erc20/ds/transfer-failure-1-b-spec.k +++ b/tests/specs/erc20/ds/transfer-failure-1-b-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-1-B-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-failure-1-c-spec.k b/tests/specs/erc20/ds/transfer-failure-1-c-spec.k index 573faa8e23..eb1f9be55f 100644 --- a/tests/specs/erc20/ds/transfer-failure-1-c-spec.k +++ b/tests/specs/erc20/ds/transfer-failure-1-c-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-1-C-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-failure-2-a-spec.k b/tests/specs/erc20/ds/transfer-failure-2-a-spec.k index 6b91e03480..3bfdc46ec2 100644 --- a/tests/specs/erc20/ds/transfer-failure-2-a-spec.k +++ b/tests/specs/erc20/ds/transfer-failure-2-a-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-2-A-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-failure-2-b-spec.k b/tests/specs/erc20/ds/transfer-failure-2-b-spec.k index 143047d240..bf3004388e 100644 --- a/tests/specs/erc20/ds/transfer-failure-2-b-spec.k +++ b/tests/specs/erc20/ds/transfer-failure-2-b-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-2-B-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-success-1-spec.k b/tests/specs/erc20/ds/transfer-success-1-spec.k index 07c1b02d18..77b545a4dc 100644 --- a/tests/specs/erc20/ds/transfer-success-1-spec.k +++ b/tests/specs/erc20/ds/transfer-success-1-spec.k @@ -40,6 +40,7 @@ module TRANSFER-SUCCESS-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transfer-success-2-spec.k b/tests/specs/erc20/ds/transfer-success-2-spec.k index 3f939803f6..387911ba90 100644 --- a/tests/specs/erc20/ds/transfer-success-2-spec.k +++ b/tests/specs/erc20/ds/transfer-success-2-spec.k @@ -40,6 +40,7 @@ module TRANSFER-SUCCESS-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k index 2b3c98881c..1720895273 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-1-a-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-1-A-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k index 1b5098d6de..59deff730f 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-1-b-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-1-B-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k index d3e5b177e8..cc0c7b559f 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-1-c-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-1-C-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k b/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k index 7518b7372c..7adb3ef89f 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-1-d-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-1-D-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k index 60ce829a6a..c18dcd5554 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-2-a-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-2-A-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k index 1a2bb81ef4..c0ee341c74 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-2-b-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-2-B-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k b/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k index 968c5bcf51..932d5fb35e 100644 --- a/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k +++ b/tests/specs/erc20/ds/transferFrom-failure-2-c-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-2-C-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-success-1-spec.k b/tests/specs/erc20/ds/transferFrom-success-1-spec.k index e920d75252..e797a4c029 100644 --- a/tests/specs/erc20/ds/transferFrom-success-1-spec.k +++ b/tests/specs/erc20/ds/transferFrom-success-1-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-SUCCESS-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/ds/transferFrom-success-2-spec.k b/tests/specs/erc20/ds/transferFrom-success-2-spec.k index a5f1458263..67b127f5bd 100644 --- a/tests/specs/erc20/ds/transferFrom-success-2-spec.k +++ b/tests/specs/erc20/ds/transferFrom-success-2-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-SUCCESS-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/allowance-spec.k b/tests/specs/erc20/hkg/allowance-spec.k index 1948397bee..047f02c278 100644 --- a/tests/specs/erc20/hkg/allowance-spec.k +++ b/tests/specs/erc20/hkg/allowance-spec.k @@ -40,6 +40,7 @@ module ALLOWANCE-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/approve-spec.k b/tests/specs/erc20/hkg/approve-spec.k index 79892d7e5e..a81e5c52bf 100644 --- a/tests/specs/erc20/hkg/approve-spec.k +++ b/tests/specs/erc20/hkg/approve-spec.k @@ -40,6 +40,7 @@ module APPROVE-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/balanceOf-spec.k b/tests/specs/erc20/hkg/balanceOf-spec.k index ae4ae5c46d..bd7cf63ec5 100644 --- a/tests/specs/erc20/hkg/balanceOf-spec.k +++ b/tests/specs/erc20/hkg/balanceOf-spec.k @@ -40,6 +40,7 @@ module BALANCEOF-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/totalSupply-spec.k b/tests/specs/erc20/hkg/totalSupply-spec.k index c02bf8909a..dc19621835 100644 --- a/tests/specs/erc20/hkg/totalSupply-spec.k +++ b/tests/specs/erc20/hkg/totalSupply-spec.k @@ -40,6 +40,7 @@ module TOTALSUPPLY-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transfer-failure-1-spec.k b/tests/specs/erc20/hkg/transfer-failure-1-spec.k index 94e5d513bd..d30f0e1a46 100644 --- a/tests/specs/erc20/hkg/transfer-failure-1-spec.k +++ b/tests/specs/erc20/hkg/transfer-failure-1-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transfer-failure-2-spec.k b/tests/specs/erc20/hkg/transfer-failure-2-spec.k index f044044c2d..075985dd99 100644 --- a/tests/specs/erc20/hkg/transfer-failure-2-spec.k +++ b/tests/specs/erc20/hkg/transfer-failure-2-spec.k @@ -40,6 +40,7 @@ module TRANSFER-FAILURE-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transfer-success-1-spec.k b/tests/specs/erc20/hkg/transfer-success-1-spec.k index 50ae18acd9..20e8651643 100644 --- a/tests/specs/erc20/hkg/transfer-success-1-spec.k +++ b/tests/specs/erc20/hkg/transfer-success-1-spec.k @@ -40,6 +40,7 @@ module TRANSFER-SUCCESS-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transfer-success-2-spec.k b/tests/specs/erc20/hkg/transfer-success-2-spec.k index 4cd22c3c71..963eb5cf8f 100644 --- a/tests/specs/erc20/hkg/transfer-success-2-spec.k +++ b/tests/specs/erc20/hkg/transfer-success-2-spec.k @@ -40,6 +40,7 @@ module TRANSFER-SUCCESS-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k b/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k index abf0bd6ac9..bbd69bcbad 100644 --- a/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k +++ b/tests/specs/erc20/hkg/transferFrom-failure-1-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k b/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k index 57f15f89f3..33ee7b1d72 100644 --- a/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k +++ b/tests/specs/erc20/hkg/transferFrom-failure-2-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-FAILURE-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transferFrom-success-1-spec.k b/tests/specs/erc20/hkg/transferFrom-success-1-spec.k index 55ced44569..e771d5fecc 100644 --- a/tests/specs/erc20/hkg/transferFrom-success-1-spec.k +++ b/tests/specs/erc20/hkg/transferFrom-success-1-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-SUCCESS-1-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/erc20/hkg/transferFrom-success-2-spec.k b/tests/specs/erc20/hkg/transferFrom-success-2-spec.k index bed83f06ca..31c533d43b 100644 --- a/tests/specs/erc20/hkg/transferFrom-success-2-spec.k +++ b/tests/specs/erc20/hkg/transferFrom-success-2-spec.k @@ -40,6 +40,7 @@ module TRANSFERFROM-SUCCESS-2-SPEC false // NOTE: non-static call CALL_DEPTH + _ _ diff --git a/tests/specs/examples/sum-to-n-foundry-spec.k b/tests/specs/examples/sum-to-n-foundry-spec.k index 7a31d89d32..7aaa53d725 100644 --- a/tests/specs/examples/sum-to-n-foundry-spec.k +++ b/tests/specs/examples/sum-to-n-foundry-spec.k @@ -56,6 +56,7 @@ claim [foundry-sum-to-n-loop-invariant]: ... + _ ... ... diff --git a/tests/specs/kontrol/test-allowchangestest-testallow-0-spec.k b/tests/specs/kontrol/test-allowchangestest-testallow-0-spec.k index 3fd8999d21..479f936899 100644 --- a/tests/specs/kontrol/test-allowchangestest-testallow-0-spec.k +++ b/tests/specs/kontrol/test-allowchangestest-testallow-0-spec.k @@ -189,6 +189,7 @@ module TEST-ALLOWCHANGESTEST-TESTALLOW-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-allowchangestest-testallow_fail-0-spec.k b/tests/specs/kontrol/test-allowchangestest-testallow_fail-0-spec.k index 33a9841213..bae8d70988 100644 --- a/tests/specs/kontrol/test-allowchangestest-testallow_fail-0-spec.k +++ b/tests/specs/kontrol/test-allowchangestest-testallow_fail-0-spec.k @@ -189,6 +189,7 @@ module TEST-ALLOWCHANGESTEST-TESTALLOW_FAIL-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-allowchangestest-testfailallowcallstoaddress-0-spec.k b/tests/specs/kontrol/test-allowchangestest-testfailallowcallstoaddress-0-spec.k index b79bf2dfc0..9130cdf94c 100644 --- a/tests/specs/kontrol/test-allowchangestest-testfailallowcallstoaddress-0-spec.k +++ b/tests/specs/kontrol/test-allowchangestest-testfailallowcallstoaddress-0-spec.k @@ -189,6 +189,7 @@ module TEST-ALLOWCHANGESTEST-TESTFAILALLOWCALLSTOADDRESS-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-allowchangestest-testfailallowchangestostorage-0-spec.k b/tests/specs/kontrol/test-allowchangestest-testfailallowchangestostorage-0-spec.k index 8c212317d2..da197da672 100644 --- a/tests/specs/kontrol/test-allowchangestest-testfailallowchangestostorage-0-spec.k +++ b/tests/specs/kontrol/test-allowchangestest-testfailallowchangestostorage-0-spec.k @@ -189,6 +189,7 @@ module TEST-ALLOWCHANGESTEST-TESTFAILALLOWCHANGESTOSTORAGE-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set @@ -559,6 +560,7 @@ module TEST-ALLOWCHANGESTEST-TESTFAILALLOWCHANGESTOSTORAGE-0-SPEC 1 + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-arithmetictest-test_max1_broken-uint256-uint256-0-spec.k b/tests/specs/kontrol/test-arithmetictest-test_max1_broken-uint256-uint256-0-spec.k index 387aea25f9..4176c861f4 100644 --- a/tests/specs/kontrol/test-arithmetictest-test_max1_broken-uint256-uint256-0-spec.k +++ b/tests/specs/kontrol/test-arithmetictest-test_max1_broken-uint256-uint256-0-spec.k @@ -75,6 +75,7 @@ module TEST-ARITHMETICTEST-TEST_MAX1_BROKEN-UINT256-UINT256-0-SPEC 0 + _ .List diff --git a/tests/specs/kontrol/test-arithmetictest-test_wdiv_rounding-uint256-uint256-0-spec.k b/tests/specs/kontrol/test-arithmetictest-test_wdiv_rounding-uint256-uint256-0-spec.k index fbbb94d683..0ee9667125 100644 --- a/tests/specs/kontrol/test-arithmetictest-test_wdiv_rounding-uint256-uint256-0-spec.k +++ b/tests/specs/kontrol/test-arithmetictest-test_wdiv_rounding-uint256-uint256-0-spec.k @@ -69,6 +69,7 @@ module TEST-ARITHMETICTEST-TEST_WDIV_ROUNDING-UINT256-UINT256-0-SPEC ... + _ .List diff --git a/tests/specs/kontrol/test-arithmetictest-test_wmul_weakly_increasing_positive-uint256-uint256-0-spec.k b/tests/specs/kontrol/test-arithmetictest-test_wmul_weakly_increasing_positive-uint256-uint256-0-spec.k index 3c5f047c50..1232dd82db 100644 --- a/tests/specs/kontrol/test-arithmetictest-test_wmul_weakly_increasing_positive-uint256-uint256-0-spec.k +++ b/tests/specs/kontrol/test-arithmetictest-test_wmul_weakly_increasing_positive-uint256-uint256-0-spec.k @@ -69,6 +69,7 @@ module TEST-ARITHMETICTEST-TEST_WMUL_WEAKLY_INCREASING_POSITIVE-UINT256-UINT256- ... + _ .List @@ -228,6 +229,7 @@ module TEST-ARITHMETICTEST-TEST_WMUL_WEAKLY_INCREASING_POSITIVE-UINT256-UINT256- ... + _ .List diff --git a/tests/specs/kontrol/test-countertest-testincrement-0-spec.k b/tests/specs/kontrol/test-countertest-testincrement-0-spec.k index 5cfee7adb0..372f888a3f 100644 --- a/tests/specs/kontrol/test-countertest-testincrement-0-spec.k +++ b/tests/specs/kontrol/test-countertest-testincrement-0-spec.k @@ -189,6 +189,7 @@ module TEST-COUNTERTEST-TESTINCREMENT-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set @@ -400,7 +401,7 @@ module TEST-COUNTERTEST-TESTINCREMENT-0-SPEC 0 - ) => .List ) + ) => .List ) ( ListItem ( { @@ -542,6 +543,7 @@ module TEST-COUNTERTEST-TESTINCREMENT-0-SPEC ( 1 => 0 ) + _ SELFDESTRUCT_CELL:Set @@ -730,7 +732,7 @@ module TEST-COUNTERTEST-TESTINCREMENT-0-SPEC 0 - ) ) + ) ) ( .List => ListItem ( { @@ -872,6 +874,7 @@ module TEST-COUNTERTEST-TESTINCREMENT-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-emitcontracttest-testexpectemit-0-spec.k b/tests/specs/kontrol/test-emitcontracttest-testexpectemit-0-spec.k index c8eabfb68a..11b69a36aa 100644 --- a/tests/specs/kontrol/test-emitcontracttest-testexpectemit-0-spec.k +++ b/tests/specs/kontrol/test-emitcontracttest-testexpectemit-0-spec.k @@ -189,6 +189,7 @@ module TEST-EMITCONTRACTTEST-TESTEXPECTEMIT-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-emitcontracttest-testexpectemitcheckemitter-0-spec.k b/tests/specs/kontrol/test-emitcontracttest-testexpectemitcheckemitter-0-spec.k index b39b724c27..062669e7c6 100644 --- a/tests/specs/kontrol/test-emitcontracttest-testexpectemitcheckemitter-0-spec.k +++ b/tests/specs/kontrol/test-emitcontracttest-testexpectemitcheckemitter-0-spec.k @@ -189,6 +189,7 @@ module TEST-EMITCONTRACTTEST-TESTEXPECTEMITCHECKEMITTER-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-emitcontracttest-testexpectemitdonotcheckdata-0-spec.k b/tests/specs/kontrol/test-emitcontracttest-testexpectemitdonotcheckdata-0-spec.k index e7989709be..3a8ddafdd7 100644 --- a/tests/specs/kontrol/test-emitcontracttest-testexpectemitdonotcheckdata-0-spec.k +++ b/tests/specs/kontrol/test-emitcontracttest-testexpectemitdonotcheckdata-0-spec.k @@ -189,6 +189,7 @@ module TEST-EMITCONTRACTTEST-TESTEXPECTEMITDONOTCHECKDATA-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectcalltest-testexpectregularcall-0-spec.k b/tests/specs/kontrol/test-expectcalltest-testexpectregularcall-0-spec.k index 952596dccf..9010c99fd4 100644 --- a/tests/specs/kontrol/test-expectcalltest-testexpectregularcall-0-spec.k +++ b/tests/specs/kontrol/test-expectcalltest-testexpectregularcall-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTCALLTEST-TESTEXPECTREGULARCALL-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectcalltest-testexpectstaticcall-0-spec.k b/tests/specs/kontrol/test-expectcalltest-testexpectstaticcall-0-spec.k index d4c162a918..9d262b5900 100644 --- a/tests/specs/kontrol/test-expectcalltest-testexpectstaticcall-0-spec.k +++ b/tests/specs/kontrol/test-expectcalltest-testexpectstaticcall-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTCALLTEST-TESTEXPECTSTATICCALL-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_bytes4-0-spec.k b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_bytes4-0-spec.k index 3e41672220..408d891a6c 100644 --- a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_bytes4-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_bytes4-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TEST_EXPECTREVERT_BYTES4-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set @@ -514,6 +515,7 @@ module TEST-EXPECTREVERTTEST-TEST_EXPECTREVERT_BYTES4-0-SPEC ( 1 => 0 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_message-0-spec.k b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_message-0-spec.k index 3b5e3f79bd..95acdb0f7f 100644 --- a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_message-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_message-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TEST_EXPECTREVERT_MESSAGE-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_returnvalue-0-spec.k b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_returnvalue-0-spec.k index aadaf19829..8b044daf49 100644 --- a/tests/specs/kontrol/test-expectreverttest-test_expectrevert_returnvalue-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-test_expectrevert_returnvalue-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TEST_EXPECTREVERT_RETURNVALUE-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_bytes4-0-spec.k b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_bytes4-0-spec.k index c19df3b629..cc36a1277b 100644 --- a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_bytes4-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_bytes4-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TESTFAIL_EXPECTREVERT_BYTES4-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_failandsuccess-0-spec.k b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_failandsuccess-0-spec.k index 8980c30059..105dd731cf 100644 --- a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_failandsuccess-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_failandsuccess-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TESTFAIL_EXPECTREVERT_FAILANDSUCCESS-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_false-0-spec.k b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_false-0-spec.k index f43bd386f6..ea10ef1867 100644 --- a/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_false-0-spec.k +++ b/tests/specs/kontrol/test-expectreverttest-testfail_expectrevert_false-0-spec.k @@ -189,6 +189,7 @@ module TEST-EXPECTREVERTTEST-TESTFAIL_EXPECTREVERT_FALSE-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set @@ -403,6 +404,7 @@ module TEST-EXPECTREVERTTEST-TESTFAIL_EXPECTREVERT_FALSE-0-SPEC 0 + _ .List diff --git a/tests/specs/kontrol/test-owneruponlytest-testincrementasowner-0-spec.k b/tests/specs/kontrol/test-owneruponlytest-testincrementasowner-0-spec.k index ee24ab4409..c799612f35 100644 --- a/tests/specs/kontrol/test-owneruponlytest-testincrementasowner-0-spec.k +++ b/tests/specs/kontrol/test-owneruponlytest-testincrementasowner-0-spec.k @@ -189,6 +189,7 @@ module TEST-OWNERUPONLYTEST-TESTINCREMENTASOWNER-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set @@ -540,6 +541,7 @@ module TEST-OWNERUPONLYTEST-TESTINCREMENTASOWNER-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-safetest-testwithdrawfuzz-uint96-0-spec.k b/tests/specs/kontrol/test-safetest-testwithdrawfuzz-uint96-0-spec.k index 9e983afb14..57f9a4a4ac 100644 --- a/tests/specs/kontrol/test-safetest-testwithdrawfuzz-uint96-0-spec.k +++ b/tests/specs/kontrol/test-safetest-testwithdrawfuzz-uint96-0-spec.k @@ -187,6 +187,7 @@ module TEST-SAFETEST-TESTWITHDRAWFUZZ-UINT96-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-storetest-testaccesses-0-spec.k b/tests/specs/kontrol/test-storetest-testaccesses-0-spec.k index 75da8ec4c1..d0a5adc93d 100644 --- a/tests/specs/kontrol/test-storetest-testaccesses-0-spec.k +++ b/tests/specs/kontrol/test-storetest-testaccesses-0-spec.k @@ -189,6 +189,7 @@ module TEST-STORETEST-TESTACCESSES-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/kontrol/test-storetest-teststoreload-0-spec.k b/tests/specs/kontrol/test-storetest-teststoreload-0-spec.k index f3bb8aa0ef..0e54f73590 100644 --- a/tests/specs/kontrol/test-storetest-teststoreload-0-spec.k +++ b/tests/specs/kontrol/test-storetest-teststoreload-0-spec.k @@ -189,6 +189,7 @@ module TEST-STORETEST-TESTSTORELOAD-0-SPEC ( 0 => 1 ) + _ SELFDESTRUCT_CELL:Set diff --git a/tests/specs/mcd-structured/cat-exhaustiveness-spec.k b/tests/specs/mcd-structured/cat-exhaustiveness-spec.k index f37985b970..3e802b29e0 100644 --- a/tests/specs/mcd-structured/cat-exhaustiveness-spec.k +++ b/tests/specs/mcd-structured/cat-exhaustiveness-spec.k @@ -32,6 +32,7 @@ module CAT-EXHAUSTIVENESS-SPEC _VStatic VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k b/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k index bd6c0ec1ce..2f28d9f151 100644 --- a/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k +++ b/tests/specs/mcd-structured/cat-file-addr-pass-rough-spec.k @@ -32,6 +32,7 @@ module CAT-FILE-ADDR-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k b/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k index 36e5e758ac..24631ef5c3 100644 --- a/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k +++ b/tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k @@ -32,6 +32,7 @@ module DAI-ADDUU-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dai-symbol-pass-spec.k b/tests/specs/mcd-structured/dai-symbol-pass-spec.k index 87d872c4c0..536ca1099e 100644 --- a/tests/specs/mcd-structured/dai-symbol-pass-spec.k +++ b/tests/specs/mcd-structured/dai-symbol-pass-spec.k @@ -32,6 +32,7 @@ module DAI-SYMBOL-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k b/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k index e4dbfb3779..be02d76279 100644 --- a/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k +++ b/tests/specs/mcd-structured/dstoken-approve-fail-rough-spec.k @@ -32,6 +32,7 @@ module DSTOKEN-APPROVE-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k b/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k index 2ed6ce3c64..37a889a968 100644 --- a/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k +++ b/tests/specs/mcd-structured/dsvalue-peek-pass-rough-spec.k @@ -32,6 +32,7 @@ module DSVALUE-PEEK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dsvalue-read-pass-spec.k b/tests/specs/mcd-structured/dsvalue-read-pass-spec.k index 5814b6786c..6d82916bbd 100644 --- a/tests/specs/mcd-structured/dsvalue-read-pass-spec.k +++ b/tests/specs/mcd-structured/dsvalue-read-pass-spec.k @@ -32,6 +32,7 @@ module DSVALUE-READ-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/dsvalue-read-pass-summarize-spec.k b/tests/specs/mcd-structured/dsvalue-read-pass-summarize-spec.k index 6003de0295..61fca67ec4 100644 --- a/tests/specs/mcd-structured/dsvalue-read-pass-summarize-spec.k +++ b/tests/specs/mcd-structured/dsvalue-read-pass-summarize-spec.k @@ -22,6 +22,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC // 0 => ?_ // (_ => ?_) // +// _ // (_ => ?_) // // @@ -80,6 +81,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC // // ... // +// _ // ... // // @@ -129,6 +131,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC 0 => ?_ (_ => ?_) + _ (_ => ?_) diff --git a/tests/specs/mcd-structured/end-cash-pass-rough-spec.k b/tests/specs/mcd-structured/end-cash-pass-rough-spec.k index 03ae524b10..a4aef2143a 100644 --- a/tests/specs/mcd-structured/end-cash-pass-rough-spec.k +++ b/tests/specs/mcd-structured/end-cash-pass-rough-spec.k @@ -32,6 +32,7 @@ module END-CASH-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -178,6 +179,7 @@ module END-CASH-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -285,6 +287,7 @@ module END-CASH-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -389,6 +392,7 @@ module END-CASH-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/end-pack-pass-rough-spec.k b/tests/specs/mcd-structured/end-pack-pass-rough-spec.k index 57dab40f89..aac6db25bf 100644 --- a/tests/specs/mcd-structured/end-pack-pass-rough-spec.k +++ b/tests/specs/mcd-structured/end-pack-pass-rough-spec.k @@ -32,6 +32,7 @@ module END-PACK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -186,6 +187,7 @@ module END-PACK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -290,6 +292,7 @@ module END-PACK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -394,6 +397,7 @@ module END-PACK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/end-subuu-pass-spec.k b/tests/specs/mcd-structured/end-subuu-pass-spec.k index ef01c2b9c2..21c3f2b4ba 100644 --- a/tests/specs/mcd-structured/end-subuu-pass-spec.k +++ b/tests/specs/mcd-structured/end-subuu-pass-spec.k @@ -32,6 +32,7 @@ module END-SUBUU-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k b/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k index 3b6034a704..69e35d1bd6 100644 --- a/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flapper-yank-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -196,6 +197,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k b/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k index 4a813d0787..c88d650504 100644 --- a/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k +++ b/tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k @@ -32,6 +32,7 @@ module FLIPPER-ADDU48U48-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k b/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k index 202a310041..d64fcedcc1 100644 --- a/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flipper-bids-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLIPPER-BIDS-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flipper-tau-pass-spec.k b/tests/specs/mcd-structured/flipper-tau-pass-spec.k index b8908f8ad2..49375d66c3 100644 --- a/tests/specs/mcd-structured/flipper-tau-pass-spec.k +++ b/tests/specs/mcd-structured/flipper-tau-pass-spec.k @@ -32,6 +32,7 @@ module FLIPPER-TAU-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flipper-ttl-pass-spec.k b/tests/specs/mcd-structured/flipper-ttl-pass-spec.k index 4fb3ced81c..16ac1c10cc 100644 --- a/tests/specs/mcd-structured/flipper-ttl-pass-spec.k +++ b/tests/specs/mcd-structured/flipper-ttl-pass-spec.k @@ -32,6 +32,7 @@ module FLIPPER-TTL-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flopper-cage-pass-spec.k b/tests/specs/mcd-structured/flopper-cage-pass-spec.k index dc817613b3..5aa881e808 100644 --- a/tests/specs/mcd-structured/flopper-cage-pass-spec.k +++ b/tests/specs/mcd-structured/flopper-cage-pass-spec.k @@ -31,6 +31,7 @@ module FLOPPER-CAGE-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k index 8a4c5ce6ad..04c21a6bb7 100644 --- a/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -208,6 +209,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -312,6 +314,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -416,6 +419,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k index 390d1f4a83..b611da9d70 100644 --- a/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flopper-dent-guy-same-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -177,6 +178,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -280,6 +282,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k index 61a1915f4d..3cdb365551 100644 --- a/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flopper-kick-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -166,6 +167,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k b/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k index 6b78154679..c2da0f10d9 100644 --- a/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k +++ b/tests/specs/mcd-structured/flopper-tick-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -155,6 +156,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/pot-join-pass-rough-spec.k b/tests/specs/mcd-structured/pot-join-pass-rough-spec.k index de369c5c84..03b4636d96 100644 --- a/tests/specs/mcd-structured/pot-join-pass-rough-spec.k +++ b/tests/specs/mcd-structured/pot-join-pass-rough-spec.k @@ -32,6 +32,7 @@ module POT-JOIN-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -185,6 +186,7 @@ module POT-JOIN-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -292,6 +294,7 @@ module POT-JOIN-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -396,6 +399,7 @@ module POT-JOIN-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k b/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k index a7e4a1faf5..f5fa371c37 100644 --- a/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k +++ b/tests/specs/mcd-structured/vat-addui-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-ADDUI-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-arithmetic-spec.k b/tests/specs/mcd-structured/vat-arithmetic-spec.k index df0880c455..6fd4fcae42 100644 --- a/tests/specs/mcd-structured/vat-arithmetic-spec.k +++ b/tests/specs/mcd-structured/vat-arithmetic-spec.k @@ -31,6 +31,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -133,6 +134,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -229,6 +231,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -331,6 +334,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -430,6 +434,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -529,6 +534,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-dai-pass-spec.k b/tests/specs/mcd-structured/vat-dai-pass-spec.k index ac2033a848..fbda8557ff 100644 --- a/tests/specs/mcd-structured/vat-dai-pass-spec.k +++ b/tests/specs/mcd-structured/vat-dai-pass-spec.k @@ -31,6 +31,7 @@ module VAT-DAI-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k b/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k index 2d9e0922e1..d3877ebf31 100644 --- a/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k +++ b/tests/specs/mcd-structured/vat-deny-diff-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-DENY-DIFF-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k b/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k index dd43dcf6f4..7e41b2070f 100644 --- a/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k +++ b/tests/specs/mcd-structured/vat-flux-diff-pass-rough-spec.k @@ -33,6 +33,7 @@ module VAT-FLUX-DIFF-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k b/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k index e94cfdbb04..d24cdc59a9 100644 --- a/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k +++ b/tests/specs/mcd-structured/vat-flux-diff-pass-spec.k @@ -31,6 +31,7 @@ module VAT-FLUX-DIFF-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k b/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k index 08a58f96e9..eeb86b9daa 100644 --- a/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k +++ b/tests/specs/mcd-structured/vat-fold-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FOLD-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k b/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k index 1c6cd4baa8..2c8d58f07a 100644 --- a/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k +++ b/tests/specs/mcd-structured/vat-fork-diff-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FORK-DIFF-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k b/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k index 69a2712de8..ab7aba860f 100644 --- a/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k +++ b/tests/specs/mcd-structured/vat-frob-diff-zero-dart-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FROB-DIFF-ZERO-DART-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-heal-pass-spec.k b/tests/specs/mcd-structured/vat-heal-pass-spec.k index 151c7d9899..9b424e9c1d 100644 --- a/tests/specs/mcd-structured/vat-heal-pass-spec.k +++ b/tests/specs/mcd-structured/vat-heal-pass-spec.k @@ -31,6 +31,7 @@ module VAT-HEAL-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-move-diff-rough-spec.k b/tests/specs/mcd-structured/vat-move-diff-rough-spec.k index 1a6626d429..f088510a9a 100644 --- a/tests/specs/mcd-structured/vat-move-diff-rough-spec.k +++ b/tests/specs/mcd-structured/vat-move-diff-rough-spec.k @@ -35,6 +35,7 @@ module VAT-MOVE-DIFF-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-sin-pass-spec.k b/tests/specs/mcd-structured/vat-sin-pass-spec.k index e9ad300afb..51be7da41a 100644 --- a/tests/specs/mcd-structured/vat-sin-pass-spec.k +++ b/tests/specs/mcd-structured/vat-sin-pass-spec.k @@ -31,6 +31,7 @@ module VAT-SIN-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k b/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k index 8ee70fb946..9dabf45577 100644 --- a/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k +++ b/tests/specs/mcd-structured/vat-slip-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-SLIP-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k b/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k index aa2313aa20..9b1b56fc97 100644 --- a/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k +++ b/tests/specs/mcd-structured/vat-subui-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-SUBUI-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k b/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k index 838652b1b6..92c1420594 100644 --- a/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k +++ b/tests/specs/mcd-structured/vow-fess-fail-rough-spec.k @@ -32,6 +32,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ @@ -155,6 +156,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k b/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k index 4726c11916..7538aa9b2d 100644 --- a/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k +++ b/tests/specs/mcd-structured/vow-flog-fail-rough-spec.k @@ -32,6 +32,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ @@ -148,6 +149,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -252,6 +254,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/cat-exhaustiveness-spec.k b/tests/specs/mcd/cat-exhaustiveness-spec.k index f37985b970..6847fe176a 100644 --- a/tests/specs/mcd/cat-exhaustiveness-spec.k +++ b/tests/specs/mcd/cat-exhaustiveness-spec.k @@ -32,6 +32,7 @@ module CAT-EXHAUSTIVENESS-SPEC _VStatic VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/cat-file-addr-pass-rough-spec.k b/tests/specs/mcd/cat-file-addr-pass-rough-spec.k index 8ec7f98d07..d081f344f3 100644 --- a/tests/specs/mcd/cat-file-addr-pass-rough-spec.k +++ b/tests/specs/mcd/cat-file-addr-pass-rough-spec.k @@ -32,6 +32,7 @@ module CAT-FILE-ADDR-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dai-adduu-fail-rough-spec.k b/tests/specs/mcd/dai-adduu-fail-rough-spec.k index b31a19e0d8..34061569f0 100644 --- a/tests/specs/mcd/dai-adduu-fail-rough-spec.k +++ b/tests/specs/mcd/dai-adduu-fail-rough-spec.k @@ -32,6 +32,7 @@ module DAI-ADDUU-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dai-symbol-pass-spec.k b/tests/specs/mcd/dai-symbol-pass-spec.k index 44405763d5..d52450f95f 100644 --- a/tests/specs/mcd/dai-symbol-pass-spec.k +++ b/tests/specs/mcd/dai-symbol-pass-spec.k @@ -32,6 +32,7 @@ module DAI-SYMBOL-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dstoken-approve-fail-rough-spec.k b/tests/specs/mcd/dstoken-approve-fail-rough-spec.k index 5e10192ede..c9eb58f7ba 100644 --- a/tests/specs/mcd/dstoken-approve-fail-rough-spec.k +++ b/tests/specs/mcd/dstoken-approve-fail-rough-spec.k @@ -32,6 +32,7 @@ module DSTOKEN-APPROVE-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k b/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k index 564d655ccd..df41fcf507 100644 --- a/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k +++ b/tests/specs/mcd/dsvalue-peek-pass-rough-spec.k @@ -32,6 +32,7 @@ module DSVALUE-PEEK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dsvalue-read-pass-spec.k b/tests/specs/mcd/dsvalue-read-pass-spec.k index 5e864a598c..9448f59bd3 100644 --- a/tests/specs/mcd/dsvalue-read-pass-spec.k +++ b/tests/specs/mcd/dsvalue-read-pass-spec.k @@ -32,6 +32,7 @@ module DSVALUE-READ-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/dsvalue-read-pass-summarize-spec.k b/tests/specs/mcd/dsvalue-read-pass-summarize-spec.k index a6f764a552..60c38d4ae3 100644 --- a/tests/specs/mcd/dsvalue-read-pass-summarize-spec.k +++ b/tests/specs/mcd/dsvalue-read-pass-summarize-spec.k @@ -22,6 +22,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC // 0 => ?_ // (_ => ?_) // +// _ // (_ => ?_) // // @@ -80,6 +81,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC // // ... // +// _ // ... // // @@ -129,6 +131,7 @@ module DSVALUE-READ-PASS-SUMMARIZE-SPEC 0 => ?_ (_ => ?_) + _ (_ => ?_) diff --git a/tests/specs/mcd/end-cash-pass-rough-spec.k b/tests/specs/mcd/end-cash-pass-rough-spec.k index c580e3e8e0..a6b397a4a9 100644 --- a/tests/specs/mcd/end-cash-pass-rough-spec.k +++ b/tests/specs/mcd/end-cash-pass-rough-spec.k @@ -32,6 +32,7 @@ module END-CASH-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -192,6 +193,7 @@ module END-CASH-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -301,6 +303,7 @@ module END-CASH-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -407,6 +410,7 @@ module END-CASH-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/end-pack-pass-rough-spec.k b/tests/specs/mcd/end-pack-pass-rough-spec.k index e29f6f8c5d..86325bd9fb 100644 --- a/tests/specs/mcd/end-pack-pass-rough-spec.k +++ b/tests/specs/mcd/end-pack-pass-rough-spec.k @@ -32,6 +32,7 @@ module END-PACK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -197,6 +198,7 @@ module END-PACK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -303,6 +305,7 @@ module END-PACK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -409,6 +412,7 @@ module END-PACK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/end-subuu-pass-spec.k b/tests/specs/mcd/end-subuu-pass-spec.k index 69dedbeb09..626a4804a8 100644 --- a/tests/specs/mcd/end-subuu-pass-spec.k +++ b/tests/specs/mcd/end-subuu-pass-spec.k @@ -32,6 +32,7 @@ module END-SUBUU-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flapper-yank-pass-rough-spec.k b/tests/specs/mcd/flapper-yank-pass-rough-spec.k index 32ba6e6d95..c08fc59a50 100644 --- a/tests/specs/mcd/flapper-yank-pass-rough-spec.k +++ b/tests/specs/mcd/flapper-yank-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -207,6 +208,7 @@ module FLAPPER-YANK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k b/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k index aee0b79a90..5d6d792247 100644 --- a/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k +++ b/tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k @@ -32,6 +32,7 @@ module FLIPPER-ADDU48U48-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flipper-bids-pass-rough-spec.k b/tests/specs/mcd/flipper-bids-pass-rough-spec.k index 6919b8224f..6a4145b627 100644 --- a/tests/specs/mcd/flipper-bids-pass-rough-spec.k +++ b/tests/specs/mcd/flipper-bids-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLIPPER-BIDS-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flipper-tau-pass-spec.k b/tests/specs/mcd/flipper-tau-pass-spec.k index 14a7fc856c..baf9e2e2c6 100644 --- a/tests/specs/mcd/flipper-tau-pass-spec.k +++ b/tests/specs/mcd/flipper-tau-pass-spec.k @@ -32,6 +32,7 @@ module FLIPPER-TAU-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flipper-ttl-pass-spec.k b/tests/specs/mcd/flipper-ttl-pass-spec.k index 6f9a4de2bd..8d206608d8 100644 --- a/tests/specs/mcd/flipper-ttl-pass-spec.k +++ b/tests/specs/mcd/flipper-ttl-pass-spec.k @@ -32,6 +32,7 @@ module FLIPPER-TTL-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flopper-cage-pass-spec.k b/tests/specs/mcd/flopper-cage-pass-spec.k index 8266c8fad8..736c7b1a89 100644 --- a/tests/specs/mcd/flopper-cage-pass-spec.k +++ b/tests/specs/mcd/flopper-cage-pass-spec.k @@ -31,6 +31,7 @@ module FLOPPER-CAGE-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k b/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k index fce0c5bc2c..8bd9197db6 100644 --- a/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k +++ b/tests/specs/mcd/flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -237,6 +238,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -343,6 +345,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -448,6 +451,7 @@ module FLOPPER-DENT-GUY-DIFF-TIC-NOT-0-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k b/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k index 8f92aae435..dee309a98d 100644 --- a/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k +++ b/tests/specs/mcd/flopper-dent-guy-same-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -203,6 +204,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -308,6 +310,7 @@ module FLOPPER-DENT-GUY-SAME-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flopper-kick-pass-rough-spec.k b/tests/specs/mcd/flopper-kick-pass-rough-spec.k index 8ce88a15e6..8cdae08798 100644 --- a/tests/specs/mcd/flopper-kick-pass-rough-spec.k +++ b/tests/specs/mcd/flopper-kick-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -192,6 +193,7 @@ module FLOPPER-KICK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/flopper-tick-pass-rough-spec.k b/tests/specs/mcd/flopper-tick-pass-rough-spec.k index f56e6a9721..ce425a6271 100644 --- a/tests/specs/mcd/flopper-tick-pass-rough-spec.k +++ b/tests/specs/mcd/flopper-tick-pass-rough-spec.k @@ -32,6 +32,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -163,6 +164,7 @@ module FLOPPER-TICK-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/pot-join-pass-rough-spec.k b/tests/specs/mcd/pot-join-pass-rough-spec.k index f3b619b0a8..168f650db6 100644 --- a/tests/specs/mcd/pot-join-pass-rough-spec.k +++ b/tests/specs/mcd/pot-join-pass-rough-spec.k @@ -32,6 +32,7 @@ module POT-JOIN-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ @@ -201,6 +202,7 @@ module POT-JOIN-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -310,6 +312,7 @@ module POT-JOIN-PASS-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -416,6 +419,7 @@ module POT-JOIN-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-addui-fail-rough-spec.k b/tests/specs/mcd/vat-addui-fail-rough-spec.k index daae2d880a..3aa3bd89db 100644 --- a/tests/specs/mcd/vat-addui-fail-rough-spec.k +++ b/tests/specs/mcd/vat-addui-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-ADDUI-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-arithmetic-spec.k b/tests/specs/mcd/vat-arithmetic-spec.k index af6fa69418..d0a77d87b4 100644 --- a/tests/specs/mcd/vat-arithmetic-spec.k +++ b/tests/specs/mcd/vat-arithmetic-spec.k @@ -31,6 +31,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -133,6 +134,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -229,6 +231,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -331,6 +334,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -430,6 +434,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -529,6 +534,7 @@ module VAT-ARITHMETIC-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-dai-pass-spec.k b/tests/specs/mcd/vat-dai-pass-spec.k index ec92261872..2ee0773dfd 100644 --- a/tests/specs/mcd/vat-dai-pass-spec.k +++ b/tests/specs/mcd/vat-dai-pass-spec.k @@ -31,6 +31,7 @@ module VAT-DAI-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k b/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k index 28f78f87fd..598e7ea431 100644 --- a/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k +++ b/tests/specs/mcd/vat-deny-diff-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-DENY-DIFF-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k b/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k index e9e8c6b1de..619c871033 100644 --- a/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k +++ b/tests/specs/mcd/vat-flux-diff-pass-rough-spec.k @@ -33,6 +33,7 @@ module VAT-FLUX-DIFF-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-flux-diff-pass-spec.k b/tests/specs/mcd/vat-flux-diff-pass-spec.k index 0cf1af2f4a..beb9b5766e 100644 --- a/tests/specs/mcd/vat-flux-diff-pass-spec.k +++ b/tests/specs/mcd/vat-flux-diff-pass-spec.k @@ -31,6 +31,7 @@ module VAT-FLUX-DIFF-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-fold-pass-rough-spec.k b/tests/specs/mcd/vat-fold-pass-rough-spec.k index c250b6e7d2..a2695f83d8 100644 --- a/tests/specs/mcd/vat-fold-pass-rough-spec.k +++ b/tests/specs/mcd/vat-fold-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FOLD-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k b/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k index adf7f94ad9..d24501e20a 100644 --- a/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k +++ b/tests/specs/mcd/vat-fork-diff-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FORK-DIFF-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k b/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k index 18a6460c60..e2e1d215d9 100644 --- a/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k +++ b/tests/specs/mcd/vat-frob-diff-zero-dart-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-FROB-DIFF-ZERO-DART-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-heal-pass-spec.k b/tests/specs/mcd/vat-heal-pass-spec.k index 747965dc3e..ff46224002 100644 --- a/tests/specs/mcd/vat-heal-pass-spec.k +++ b/tests/specs/mcd/vat-heal-pass-spec.k @@ -31,6 +31,7 @@ module VAT-HEAL-PASS-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-move-diff-rough-spec.k b/tests/specs/mcd/vat-move-diff-rough-spec.k index 0f59545452..77ff8d448b 100644 --- a/tests/specs/mcd/vat-move-diff-rough-spec.k +++ b/tests/specs/mcd/vat-move-diff-rough-spec.k @@ -35,6 +35,7 @@ module VAT-MOVE-DIFF-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-sin-pass-spec.k b/tests/specs/mcd/vat-sin-pass-spec.k index 44d5da8c4b..fe708c9dcf 100644 --- a/tests/specs/mcd/vat-sin-pass-spec.k +++ b/tests/specs/mcd/vat-sin-pass-spec.k @@ -31,6 +31,7 @@ module VAT-SIN-PASS-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-slip-pass-rough-spec.k b/tests/specs/mcd/vat-slip-pass-rough-spec.k index af4313e15b..2bbb7b2136 100644 --- a/tests/specs/mcd/vat-slip-pass-rough-spec.k +++ b/tests/specs/mcd/vat-slip-pass-rough-spec.k @@ -34,6 +34,7 @@ module VAT-SLIP-PASS-ROUGH-SPEC false VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vat-subui-fail-rough-spec.k b/tests/specs/mcd/vat-subui-fail-rough-spec.k index 4b43b0cb0a..701fc1ae3f 100644 --- a/tests/specs/mcd/vat-subui-fail-rough-spec.k +++ b/tests/specs/mcd/vat-subui-fail-rough-spec.k @@ -32,6 +32,7 @@ module VAT-SUBUI-FAIL-ROUGH-SPEC _ VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vow-fess-fail-rough-spec.k b/tests/specs/mcd/vow-fess-fail-rough-spec.k index c9488842c5..0441fd7e1b 100644 --- a/tests/specs/mcd/vow-fess-fail-rough-spec.k +++ b/tests/specs/mcd/vow-fess-fail-rough-spec.k @@ -32,6 +32,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ @@ -155,6 +156,7 @@ module VOW-FESS-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ diff --git a/tests/specs/mcd/vow-flog-fail-rough-spec.k b/tests/specs/mcd/vow-flog-fail-rough-spec.k index 8d86ef1f1e..89a08aac31 100644 --- a/tests/specs/mcd/vow-flog-fail-rough-spec.k +++ b/tests/specs/mcd/vow-flog-fail-rough-spec.k @@ -32,6 +32,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC false VCallDepth => ?_ + _ _VSelfDestruct _ => ?_ @@ -155,6 +156,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_ @@ -261,6 +263,7 @@ module VOW-FLOG-FAIL-ROUGH-SPEC _ VCallDepth + _ _VSelfDestruct _ => ?_