Report

This file contains:

Diffs

CALLCODE_Bounds2_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
RETURN_Bounds_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/RETURN_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d29_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `2788`,<br /> right: `178295`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d28_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
modexp_d29_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1562163`,<br /> right: `99978295`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
static_RETURN_BoundsOOG_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_RETURN_BoundsOOGFiller.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(15000000))
CALLCODE_Bounds_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
DELEGATECALL_Bounds_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d30_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1562161`,<br /> right: `99978164`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
OutOfGasContractCreation_d0_g0_v0#tests/src/GeneralStateTestsFiller/stInitCodeTest/OutOfGasContractCreationFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d27_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1050`,<br /> right: `66625`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
OutOfGasContractCreation_d0_g1_v0#tests/src/GeneralStateTestsFiller/stInitCodeTest/OutOfGasContractCreationFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d31_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1051`,<br /> right: `66245`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d27_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1562144`,<br /> right: `99976625`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d29_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1382`,<br /> right: `88295`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d27_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1362`,<br /> right: `86625`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d28_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
Create2OnDepth1024_d0_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OnDepth1024Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxSteps(23041))
modexp_d2_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(Msize is within scalar field) => Success()
CALLCODE_Bounds4_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds4Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(1000000))
DELEGATECALL_Bounds3_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_Bounds3Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(1000000))
OverflowGasRequire2_d0_g0_v0#tests/src/GeneralStateTestsFiller/stTransactionTest/OverflowGasRequire2Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
MSTORE_Bounds_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d30_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1068`,<br /> right: `68164`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MSTORE_Bounds2_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
RETURN_Bounds_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/RETURN_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d28_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
static_RETURN_BoundsOOG_d1_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_RETURN_BoundsOOGFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
DELEGATECALL_Bounds2_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
modexp_d2_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(Msize is within scalar field) => Success()
static_RETURN_Bounds_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_RETURN_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d31_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1364`,<br /> right: `86245`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
CALLCODE_Bounds3_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds3Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
MSTORE_Bounds_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
CALLCODE_Bounds4_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds4Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
OutOfGasContractCreation_d1_g0_v0#tests/src/GeneralStateTestsFiller/stInitCodeTest/OutOfGasContractCreationFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d30_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `2786`,<br /> right: `178164`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
CALLCODE_Bounds4_d0_g2_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds4Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
DELEGATECALL_Bounds3_d0_g2_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_Bounds3Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
modexp_d31_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `2770`,<br /> right: `176245`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_modsize0_returndatasize_d2_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `15624624`,<br /> right: `999930983`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
OutOfGasContractCreation_d1_g1_v0#tests/src/GeneralStateTestsFiller/stInitCodeTest/OutOfGasContractCreationFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
MSTORE_Bounds2a_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_Bounds2aFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d31_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1562145`,<br /> right: `99976245`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
CALLCODE_Bounds3_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds3Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d29_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1070`,<br /> right: `68295`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d30_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `1380`,<br /> right: `88164`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
modexp_d27_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(assertion failed: `(left == right)`<br /> left: `2769`,<br /> right: `176625`: precompile_call_gas_cost wrong Precompile(Modexp)) => Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
HighGasLimit_d0_g0_v0#tests/src/GeneralStateTestsFiller/stTransactionTest/HighGasLimitFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
RETURN_Bounds_d0_g2_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/RETURN_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
DELEGATECALL_Bounds_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
CALLCODE_Bounds_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_BoundsFiller.jsonIgnored(SkipTestBalanceOverflow) => Success()
MSTORE_Bounds2_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(250000000))
DELEGATECALL_Bounds3_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_Bounds3Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
modexp_d2_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.jsonPanic(Msize is within scalar field) => Success()
MSTORE_Bounds2a_d0_g1_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/MSTORE_Bounds2aFiller.jsonIgnored(SkipTestBalanceOverflow) => Ignored(SkipTestMaxGasLimit(33969172))
DELEGATECALL_Bounds2_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/DELEGATECALL_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
CALLCODE_Bounds2_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryStressTest/CALLCODE_Bounds2Filler.jsonIgnored(SkipTestBalanceOverflow) => Success()
Summary/ Panic: -6 / Ignored: -21 / Success: +27 [diff from default.1693441405.5e9be1c.csv]

Results by folder

By pathSuccessIgnoredFailPanic
tests/src/GeneralStateTestsFiller/Shanghai/stEIP3651-warmcoinbase12 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/Shanghai/stEIP3855-push07 (77%)2 (22%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/Shanghai/stEIP3860-limitmeterinitcode4 (66%)2 (33%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/VMTests/vmArithmeticTest214 (97%)5 (2%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/VMTests/vmBitwiseLogicOperation56 (98%)1 (1%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/VMTests/vmIOandFlowOperations112 (65%)58 (34%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/VMTests/vmLogTest36 (78%)10 (21%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/VMTests/vmTests122 (89%)14 (10%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stArgsZeroOneBalance94 (97%)2 (2%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stAttackTest0 (0%)2 (100%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stBadOpcode211 (5%)4004 (94%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stBugs3 (33%)6 (66%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCallCodes38 (44%)48 (55%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCallCreateCallCodeTest30 (54%)25 (45%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCallDelegateCodesCallCodeHomestead18 (31%)40 (68%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCallDelegateCodesHomestead17 (29%)41 (70%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stChainId1 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCodeCopyTest2 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCodeSizeLimit1 (33%)2 (66%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCreate2134 (73%)48 (26%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stCreateTest117 (68%)50 (29%)0 (0%)4 (2%)
tests/src/GeneralStateTestsFiller/stDelegatecallTestHomestead20 (64%)11 (35%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stEIP150Specific22 (91%)2 (8%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stEIP150singleCodeGasPrices330 (97%)10 (2%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stEIP158Specific4 (57%)3 (42%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stEIP36077 (58%)0 (0%)0 (0%)5 (41%)
tests/src/GeneralStateTestsFiller/stExample32 (96%)0 (0%)1 (3%)0 (0%)
tests/src/GeneralStateTestsFiller/stExpectSection6 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stExtCodeHash46 (75%)15 (24%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stHomesteadSpecific5 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stInitCodeTest20 (90%)2 (9%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stLogTests46 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stMemExpandingEIP150Calls10 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stMemoryStressTest43 (52%)39 (47%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stMemoryTest244 (43%)323 (56%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stNonZeroCallsTest20 (83%)4 (16%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stPreCompiledContracts885 (94%)33 (3%)0 (0%)16 (1%)
tests/src/GeneralStateTestsFiller/stPreCompiledContracts2217 (90%)22 (9%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stQuadraticComplexityTest10 (43%)13 (56%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stRandom242 (77%)72 (22%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stRandom2166 (73%)60 (26%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stRecursiveCreate1 (50%)1 (50%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stRefundTest14 (53%)12 (46%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stReturnDataTest184 (67%)88 (32%)0 (0%)1 (0%)
tests/src/GeneralStateTestsFiller/stRevertTest229 (85%)40 (14%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stSStoreTest409 (86%)63 (13%)3 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stSelfBalance35 (94%)2 (5%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stShift40 (95%)2 (4%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stSolidityTest17 (85%)3 (15%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stSpecialTest6 (46%)7 (53%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stStackTests163 (43%)212 (56%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stStaticCall258 (54%)216 (45%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stStaticFlagEnabled0 (0%)34 (100%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stSystemOperationsTest44 (58%)31 (41%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stTimeConsuming1728 (33%)3462 (66%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stTransactionTest22 (75%)7 (24%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stTransitionTest6 (100%)0 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stWalletTest32 (69%)14 (30%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stZeroCallsRevert12 (75%)4 (25%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stZeroCallsTest20 (83%)4 (16%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stZeroKnowledge795 (99%)5 (0%)0 (0%)0 (0%)
tests/src/GeneralStateTestsFiller/stZeroKnowledge2519 (100%)0 (0%)0 (0%)0 (0%)
TOTAL8138 (46%)9176 (52%)4 (0%)26 (0%)

Results by type

By typeCount
8138Success_
470Ignored_SkipTestMaxGasLimit(4503599627370496)
342Ignored_SkipTestMaxGasLimit(4433230883193329)
342Ignored_SkipTestMaxGasLimit(4363961650643952)
339Ignored_SkipTestMaxGasLimit(4433230883194031)
339Ignored_SkipTestMaxGasLimit(4433230883194032)
292Ignored_SkipTestSelfDestruct
290Ignored_SkipTestMaxGasLimit(80000000)
228Ignored_SkipTestMaxGasLimit(4363961650643954)
228Ignored_SkipTestMaxGasLimit(4363961650643960)
228Ignored_SkipTestMaxGasLimit(4363961650643958)
228Ignored_SkipTestMaxGasLimit(4363961650643956)
152Ignored_SkipTestMaxGasLimit(627892)
149Ignored_SkipTestMaxGasLimit(627900)
126Ignored_SkipTestMaxSteps(1025)
114Ignored_SkipTestMaxGasLimit(4363961650643957)
114Ignored_SkipTestMaxGasLimit(4363961650643962)
114Ignored_SkipTestMaxGasLimit(4363961650643955)
114Ignored_SkipTestMaxGasLimit(4363961650643959)
114Ignored_SkipTestMaxGasLimit(4363961650643961)
114Ignored_SkipTestMaxGasLimit(4433230883196429)
114Ignored_SkipTestMaxGasLimit(4433230883196430)
114Ignored_SkipTestMaxGasLimit(4433230883193328)
113Ignored_SkipTestMaxGasLimit(4433230883194033)
113Ignored_SkipTestMaxGasLimit(4433230883194030)

All results

id test_id level details path
InitCollision_d1_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json InitCollision_d1_g0_v0 Fail StorgeMismatch(slot:1 expected:0, found: 1) https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
InitCollision_d2_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json InitCollision_d2_g0_v0 Fail StorgeMismatch(slot:1 expected:1, found: 0) https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
InitCollision_d3_g0_v0#tests/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json InitCollision_d3_g0_v0 Fail StorgeMismatch(slot:1 expected:0, found: 1) https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
TransactionCollisionToEmptyButCode_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json TransactionCollisionToEmptyButCode_d0_g1_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 0, storage: {}, code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, keccak_code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
TransactionCollisionToEmptyButCode_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json TransactionCollisionToEmptyButCode_d0_g1_v1 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 0, storage: {}, code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, keccak_code_hash: 0x6ccdf593017c9d38b36c1cb00572feae81abc15173860a4e0904a6c45d3b086e, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
TransactionCollisionToEmptyButNonce_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json TransactionCollisionToEmptyButNonce_d0_g1_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 1, balance: 0, storage: {}, code_hash: 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470, keccak_code_hash: 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470, code_size: 0 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
TransactionCollisionToEmptyButNonce_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json TransactionCollisionToEmptyButNonce_d0_g1_v1 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 1, balance: 0, storage: {}, code_hash: 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470, keccak_code_hash: 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470, code_size: 0 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
initCollidingWithNonEmptyAccount_d0_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml initCollidingWithNonEmptyAccount_d0_g0_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
initCollidingWithNonEmptyAccount_d1_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml initCollidingWithNonEmptyAccount_d1_g0_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
initCollidingWithNonEmptyAccount_d2_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml initCollidingWithNonEmptyAccount_d2_g0_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
initCollidingWithNonEmptyAccount_d3_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml initCollidingWithNonEmptyAccount_d3_g0_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
initCollidingWithNonEmptyAccount_d4_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml initCollidingWithNonEmptyAccount_d4_g0_v0 Panic not implemented: deployment collision at 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, account Account { nonce: 0, balance: 1000000000000000000, storage: {}, code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, keccak_code_hash: 0x46060bec982b5603bbde84d82e96f35180cbd0869f6ae6713a5b937c858ccd46, code_size: 5 } https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
invalidTr_d0_g0_v0#tests/src/GeneralStateTestsFiller/stExample/invalidTrFiller.json invalidTr_d0_g0_v0 Fail Exception(expected:false, found:"TracingError(\"Failed to run Trace, err: Failed to apply config.Transactions[0]: intrinsic gas too low: have 1000, want 21000\")") https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stExample/invalidTrFiller.json
modexp_d27_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d27_g0_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d27_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d27_g1_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d27_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d27_g2_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d27_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d27_g3_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d29_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d29_g0_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d29_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d29_g1_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d29_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d29_g2_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d29_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d29_g3_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d30_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d30_g0_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d30_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d30_g1_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d30_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d30_g2_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d30_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d30_g3_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d31_g0_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d31_g0_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d31_g1_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d31_g1_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d31_g2_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d31_g2_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_d31_g3_v0#tests/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json modexp_d31_g3_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 219, name: "MODEXP: output acc bytes must equal", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json
modexp_modsize0_returndatasize_d2_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json modexp_modsize0_returndatasize_d2_g0_v0 Panic assertion failed: `(left == right)` left: `Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 212, name: "MODEXP: call success if valid input and enough gas", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 215, name: "MODEXP>if output len is nil: IsZeroGadget: value_inv ⋅ (1 - value ⋅ value_inv)", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }, ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 450, name: "MODEXP", }, index: 240, name: "MODEXP: State transition (to) constraint of gas_left", }, location: InRegion { region: Region 14 ('Execution step'), offset: 80, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 63, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ], }])`, right: `Ok(())` https://github.com/ethereum/tests/blob/747a4828f36c5fc8ab4f288d1cf4f1fe6662f3d6/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json