forked from runtimeverification/evm-semantics
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy path.ci
More file actions
209 lines (207 loc) · 26.1 KB
/
Copy path.ci
File metadata and controls
209 lines (207 loc) · 26.1 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
[test "kompiled-defn"]
trackedFiles = .build/ocaml/driver-kompiled/compiled.txt \
.build/java/driver-kompiled/compiled.txt \
.build/node/driver-kompiled/compiled.txt
command = make clean && make deps && make build
[test "smoke"]
trackedFiles = .build/logs/failing.lastrun .build/logs/runtime
command = make clean && make deps && make build && make split-tests \
&& make -j3 -k \
test-interactive \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCreateTest/CreateCollisionToEmpty_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecadd_0-0_1-3_21000_128_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-0_0_21000_128_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-0_2_21000_96_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-0_340282366920938463463374607431768211456_21000_128_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-0_9935_28000_96_d0g3v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_0_21000_64_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_0_21000_64_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_2_21000_128_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_2_28000_128_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_9_21000_96_d0g3v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroKnowledge2/ecmul_0-3_9935_21000_96_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/createNameRegistratorendowmentTooHigh_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/callcodeWithHighValue_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/callWithHighValueAndGasOOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/Callcode1024BalanceTooLow_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/Call1024OOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/callcodeWithHighValueAndGasOOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/callWithHighValueAndOOGatTxLevel_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/Call1024BalanceTooLow_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/callWithHighValue_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/createFailBalanceTooLow_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/Callcode1024OOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest618_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest248_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest135_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stInitCodeTest/CallContractToCreateContractNoCash_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stInitCodeTest/CallContractToCreateContractOOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcodecallcodecall_110_2_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcodecallcodecall_110_OOGE2_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_Call1024PreCalls_d1g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CallRecursiveBombPreCall2_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/CallRecursiveBombPreCall_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1DUP_d10g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcodecall_10_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d86g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stLogTests/log4_nonEmptyMem_logMemSize1_logMemStart31_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/modexp_0_0_0_25000_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/callcodecallcallcode_101_SuicideEnd_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d55g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_37120_37111_37111_25000_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_49_2401_2401_22000_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRevertTest/PythonRevertTestTue201814-1430_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/shallowStack_d75g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcallcodecall_010_OOGE_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCreateTest/CreateCollisionToEmpty_d0g1v1.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_39936_1_55201_22000_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d43g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d50g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stNonZeroCallsTest/NonZeroValue_DELEGATECALL_ToOneStorageKey_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stReturnDataTest/returndatasize_after_successful_delegatecall_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/shallowStack_d69g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stLogTests/log1_Caller_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stLogTests/log4_MaxTopic_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d29g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d108g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CREATE_ContractSuicideDuringInit_WithValue_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CallRipemd160_1_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d117g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_3_28948_11579_20500_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_3_09984_39936_22000_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransitionTest/createNameRegistratorPerTxsBefore_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stEIP150Specific/SuicideToNotExistingContract_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CallIdentity_4_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/modexp_0_0_0_35000_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroCallsRevert/ZeroValue_DELEGATECALL_ToNonZeroBalance_OOGRevert_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stInitCodeTest/CallContractToCreateContractOOGBonusGas_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stZeroCallsTest/ZeroValue_DELEGATECALL_ToNonZeroBalance_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_d33g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRevertTest/RevertOpcodeCalls_d3g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcallcodecallcode_011_OOGMAfter_d1g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d89g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callOutput1_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallDelegateCodesCallCodeHomestead/callcodecallcall_100_SuicideEnd_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemExpandingEIP150Calls/CallAndCallcodeConsumeMoreGasThenTransactionHasWithMemExpandingCalls_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CheckOpcodes2_d2g1v1.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/shallowStack_d23g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_55190_55190_42965_20500_d0g3v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflow_d12g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/SuicidesAndInternlCallSuicidesSuccess_d1g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_3_09984_39936_1000000_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CheckOpcodes5_d1g1v1.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CheckOpcodes2_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_d24g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/shallowStack_d11g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stEIP150singleCodeGasPrices/RawCallCodeGasValueTransfer_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/createJS_NoCollision_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_d30g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d35g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallDelegateCodesCallCodeHomestead/callcodecallcallcode_101_OOGE_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/modexp_0_0_0_20500_d0g2v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/callcodeDynamicCode2SelfCall_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stWalletTest/multiOwnedAddOwner_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRevertTest/RevertRemoteSubCallStorageOOG2_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflow_d7g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d99g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallDelegateCodesHomestead/callcodecallcode_11_OOGE_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stLogTests/log0_nonEmptyMem_logMemSize1_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_39936_1_55201_1000000_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRefundTest/refund_CallA_OOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d107g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcodecallcallcode_101_SuicideMiddle_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/InternlCallStoreClearsOOG_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflow_d13g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_Call10_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRevertTest/RevertOpcodeInCallsOnNonEmptyReturnData_d1g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcall_00_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_d10g3v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/shallowStack_d16g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CallIdentity_4_gas18_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransitionTest/createNameRegistratorPerTxsNotEnoughGasAfter_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_49_2401_2401_22000_d0g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcallcodecallcode_011_OOGMAfter2_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallDelegateCodesHomestead/callcallcallcode_001_SuicideEnd_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/callcallcall_000_OOGMAfter_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransitionTest/delegatecallAtTransition_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d117g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts/modexp_37120_37111_37111_35000_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemExpandingEIP150Calls/CallGoesOOGOnSecondLevel2WithMemExpandingCalls_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stSolidityTest/TestStructuresAndVariabless_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_CheckOpcodes5_d4g1v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d2g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d84g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stSystemOperationsTest/createNameRegistratorZeroMem_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stTransactionTest/Opcodes_TransactionInit_d33g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCodes/callcallcall_000_SuicideMiddle_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stBadOpcode/badOpcodes_d46g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStaticCall/static_callcallcodecallcode_011_OOGE_d0g0v0.json.test \
tests/proofs/specs/examples/sum-to-n-spec.k.test \
&& ./kevm sort-logs
[test "performance"]
trackedFiles = .build/logs/failing.lastrun .build/logs/runtime
command = make clean && make deps && make build && make split-tests \
&& make -j4 -k \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitGas_1024_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CALLCODERipemd160_5_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CallIdentity_5_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest448_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest341_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest53_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d19g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d19g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d20g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCallCreateCallCodeTest/createInitFailStackSizeLargerThan1024_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitGas_1023_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CALLCODEIdentity_5_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stPreCompiledContracts2/CallRipemd160_5_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d20g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d21g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d22g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d21g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCodeSizeLimit/codesizeOOGInvalidSize_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stCodeSizeLimit/codesizeValid_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush32_1024_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d23g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d22g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d24g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitGas_1025_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush31_1023_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush31_1024_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush31_1025_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush32_1023_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stMemoryTest/stackLimitPush32_1025_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d24g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d23g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stSpecialTest/block504980_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d25g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d26g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d27g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d26g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d27g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stAttackTest/ContractCreationSpam_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d25g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest159_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d28g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d28g0v0.json.test \
tests/interactive/gas-analysis/sumTo10.evm.test \
tests/interactive/log3_MaxTopic_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest48_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d29g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d29g0v0.json.test \
tests/interactive/CallRecursiveContract_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowM1PUSH_d30g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stStackTests/stackOverflowPUSH_d30g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest583_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest418_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest547_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest326_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest163_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest185_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom2/randomStatetest476_d0g0v0.json.test \
tests/ethereum-tests/BlockchainTests/GeneralStateTests/stRandom/randomStatetest36_d0g0v0.json.test \
tests/proofs/specs/examples/sum-to-n-spec.k.test \
tests/proofs/specs/bihu/collectToken-spec.k.test \
tests/proofs/specs/vyper-erc20/transfer-success-2-spec.k.test \
tests/proofs/specs/hobby-erc20/transferFrom-failure-2-spec.k.test \
&& ./kevm sort-logs