invalidAddr_d64(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d91_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d48(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d42(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d39_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
bufferSrcOffset_d101(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferSrcOffsetFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d44(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d40_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d117_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d109_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d139_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d72(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d95_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d54(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d108_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d69_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d96_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d66(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d60_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d63_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
subcallReturnMoreThenExpected_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/subcallReturnMoreThenExpectedFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d74(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d118_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d228(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d21_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d5_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d70(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d33_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d38_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d130_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d49_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d124_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d68(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d52(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d62(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d231(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d19_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d97_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d34_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d53_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
bufferSrcOffset_d96(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferSrcOffsetFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d303(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d80(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d136_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d131_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d78(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d61_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d111_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
return_d2(returnBigBuff)_g0_v0#tests/src/GeneralStateTestsFiller/VMTests/vmIOandFlowOperations/returnFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d52_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d79(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d47_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d48_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d46_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d116_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d119_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d90_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d261(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d76(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d40(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d7_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d123_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d105_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d104_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d137_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d306(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d32_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d56(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d122_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d110_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d12_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d62_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d68_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d54_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d66_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d35_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d88_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d77(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d50(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d46(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d76(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
bufferSrcOffset_d100(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferSrcOffsetFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d103_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d258(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d67_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d89_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d94_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d20_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d41_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
Create2OOGFromCallRefunds_d18(SStore_Create_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml | Fail(NonceMismatch(expected:2, found:0)) => Fail(NonceMismatch(expected:1, found:0)) |
clearReturnBuffer_d25_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d55_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d201(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d132_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d102_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d138_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d60(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d13_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
buffer_d198(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d6_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d11_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d27_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d125_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
invalidAddr_d58(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stBadOpcode/invalidAddrFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
bufferSrcOffset_d97(ok)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferSrcOffsetFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d26_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
clearReturnBuffer_d133_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/clearReturnBufferFiller.yml | Panic(assertion failed: `(left == right)`<br /> left: `Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success() |
Summary | / Success: +106 / Panic: -106 / Fail: +0 [diff from default.1687941957.8c88830.csv] |
id |
test_id |
level |
details |
path |
CodeInConstructor_d0_g0_v0#tests/src/GeneralStateTestsFiller/stCreateTest/CodeInConstructorFiller.yml
|
CodeInConstructor_d0_g0_v0
|
Panic
|
range end index 672 out of range for slice of length 640
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/CodeInConstructorFiller.yml
|
CodeInConstructor_d1_g0_v0#tests/src/GeneralStateTestsFiller/stCreateTest/CodeInConstructorFiller.yml
|
CodeInConstructor_d1_g0_v0
|
Panic
|
range end index 672 out of range for slice of length 640
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/CodeInConstructorFiller.yml
|
Create2OOGFromCallRefunds_d0(SStore_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d0(SStore_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d15(LogOp_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d15(LogOp_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d18(SStore_Create_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d18(SStore_Create_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d21(SStore_Create2_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d21(SStore_Create2_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:2, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d3(SStore_Call_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d3(SStore_Call_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d6(SStore_DelegateCall_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d6(SStore_DelegateCall_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d9(SStore_CallCode_Refund_NoOoG)_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
Create2OOGFromCallRefunds_d9(SStore_CallCode_Refund_NoOoG)_g0_v0
|
Fail
|
NonceMismatch(expected:1, found:0)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/Create2OOGFromCallRefundsFiller.yml
|
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/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stSStoreTest/InitCollisionFiller.json
|
PythonRevertTestTue201814-1430_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRevertTest/PythonRevertTestTue201814-1430Filler.json
|
PythonRevertTestTue201814-1430_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 199,
name: "RETURN_REVERT",
},
index: 78,
name: "State transition (delta) constraint of rw_counter",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 58,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}, Lookup Copy(index: 25) is not satisfied in Region 10 ('Execution step') at offset 59])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRevertTest/PythonRevertTestTue201814-1430Filler.json
|
RevertPrefound_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRevertTest/RevertPrefoundFiller.json
|
RevertPrefound_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `2`,
right: `1`: call Ok(Call { call_id: 1, caller_id: 0, kind: Call, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0xa000000000000000000000000000000000000000, code_source: Address(0xa000000000000000000000000000000000000000), code_hash: 0x2c66e5be4d5c1e4ac2179e72368c2ea2af184ef16f39d26675e54c1b9bc4be28, depth: 1, value: 0, call_data_offset: 0, call_data_length: 0, return_data_offset: 0, return_data_length: 0, last_callee_id: 29, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }) calls [Call { call_id: 1, caller_id: 0, kind: Call, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0xa000000000000000000000000000000000000000, code_source: Address(0xa000000000000000000000000000000000000000), code_hash: 0x2c66e5be4d5c1e4ac2179e72368c2ea2af184ef16f39d26675e54c1b9bc4be28, depth: 1, value: 0, call_data_offset: 0, call_data_length: 0, return_data_offset: 0, return_data_length: 0, last_callee_id: 29, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }, Call { call_id: 29, caller_id: 1, kind: Create, is_static: false, is_root: false, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa000000000000000000000000000000000000000, address: 0x7db299e0885c85039f56fa504a13dd8ce8a56aa7, code_source: Memory, code_hash: 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563, depth: 2, value: 0, call_data_offset: 0, call_data_length: 0, return_data_offset: 0, return_data_length: 0, last_callee_id: 0, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }]
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRevertTest/RevertPrefoundFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButCode_d0_g1_v1
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButCodeFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v0#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v1#tests/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
TransactionCollisionToEmptyButNonce_d0_g1_v1
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/TransactionCollisionToEmptyButNonceFiller.json
|
buffer_d318(ok-f3)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d318(ok-f3)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d319(ok-f3)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d319(ok-f3)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d321(ok-f3)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d321(ok-f3)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d322(ok-f3)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d322(ok-f3)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d333(ff-valid)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d333(ff-valid)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d334(ff-zero)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d334(ff-zero)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d336(ff-valid)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d336(ff-valid)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d337(ff-zero)_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
buffer_d337(ff-zero)_g0_v0
|
Panic
|
range end index 8320 out of range for slice of length 8288
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/bufferFiller.yml
|
callDataCopyOffset_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/callDataCopyOffsetFiller.json
|
callDataCopyOffset_d0_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/callDataCopyOffsetFiller.json
|
calldatacopy_d4(cdc_0_neg6_ff)_g0_v0#tests/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
calldatacopy_d4(cdc_0_neg6_ff)_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
calldatacopy_d5(cdc_0_neg6_9)_g0_v0#tests/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
calldatacopy_d5(cdc_0_neg6_9)_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
calldatacopy_d7(sec)_g0_v0#tests/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
calldatacopy_d7(sec)_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/VMTests/vmTests/calldatacopyFiller.yml
|
create2collisionBalance_d0_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 264,
name: "CREATE",
},
index: 79,
name: "callee_is_persistent == is_persistent ⋅ is_success",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 264,
name: "CREATE",
},
index: 226,
name: "State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}, Lookup Rw(index: 17) is not satisfied in Region 10 ('Execution step') at offset 29, Lookup Rw(index: 17) is not satisfied in Region 10 ('Execution step') at offset 33])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d1_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d1_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `2`,
right: `1`: call Ok(Call { call_id: 1, caller_id: 0, kind: Create, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, code_source: Tx, code_hash: 0x01013a504b922eb261ab7e2d746fc1112b6d181edb24d51fee4088e648468713, depth: 1, value: 1, call_data_offset: 0, call_data_length: 19, return_data_offset: 0, return_data_length: 0, last_callee_id: 39, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }) calls [Call { call_id: 1, caller_id: 0, kind: Create, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, code_source: Tx, code_hash: 0x01013a504b922eb261ab7e2d746fc1112b6d181edb24d51fee4088e648468713, depth: 1, value: 1, call_data_offset: 0, call_data_length: 19, return_data_offset: 0, return_data_length: 0, last_callee_id: 39, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }, Call { call_id: 39, caller_id: 1, kind: Create2, is_static: false, is_root: false, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, address: 0xaf3ecba2fe09a4f6c19f16a9d119e44e08c2da01, code_source: Memory, code_hash: 0xf8b07b083341d3a7667e38718918d301f47d62f82d8186f4ccd7ed7424a64ef3, depth: 2, value: 0, call_data_offset: 0, call_data_length: 0, return_data_offset: 0, return_data_length: 0, last_callee_id: 0, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }]
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d2_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d2_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `2`,
right: `1`: call Ok(Call { call_id: 1, caller_id: 0, kind: Create, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, code_source: Tx, code_hash: 0x7440339148f472048e01339e9cc9fe0a87ff7e2eeddfdfe70e619e1273d71664, depth: 1, value: 1, call_data_offset: 0, call_data_length: 28, return_data_offset: 0, return_data_length: 0, last_callee_id: 39, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }) calls [Call { call_id: 1, caller_id: 0, kind: Create, is_static: false, is_root: true, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b, address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, code_source: Tx, code_hash: 0x7440339148f472048e01339e9cc9fe0a87ff7e2eeddfdfe70e619e1273d71664, depth: 1, value: 1, call_data_offset: 0, call_data_length: 28, return_data_offset: 0, return_data_length: 0, last_callee_id: 39, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }, Call { call_id: 39, caller_id: 1, kind: Create2, is_static: false, is_root: false, is_persistent: true, is_success: true, rw_counter_end_of_reversion: 0, caller_address: 0x6295ee1b4f6dd65047762f924ecd367c17eabf8f, address: 0xec2c6832d00680ece8ff9254f81fdab0a5a2ac50, code_source: Memory, code_hash: 0x5ee5f931fb9e6a8bc790dfe7fc9a821718b0233127ce15379a8a92dac381caf6, depth: 2, value: 0, call_data_offset: 0, call_data_length: 0, return_data_offset: 0, return_data_length: 0, last_callee_id: 0, last_callee_return_data_offset: 0, last_callee_return_data_length: 0, last_callee_memory: [] }]
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d3_g0_v0#tests/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
create2collisionBalance_d3_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 264,
name: "CREATE",
},
index: 79,
name: "callee_is_persistent == is_persistent ⋅ is_success",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 264,
name: "CREATE",
},
index: 226,
name: "State transition (to) constraint of gas_left",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 29,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}, Lookup Rw(index: 17) is not satisfied in Region 10 ('Execution step') at offset 29, Lookup Rw(index: 17) is not satisfied in Region 10 ('Execution step') at offset 33])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreate2/create2collisionBalanceFiller.json
|
createLargeResult_d1(CREATE2-RETURN)_g0_v0#tests/src/GeneralStateTestsFiller/stCreateTest/createLargeResultFiller.yml
|
createLargeResult_d1(CREATE2-RETURN)_g0_v0
|
Fail
|
StorgeMismatch(slot:0 expected:31884997046225672762339022893680617110859849560, found: 37826124038978456865679105711473692914516517709)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stCreateTest/createLargeResultFiller.yml
|
create_callprecompile_returndatasize_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/create_callprecompile_returndatasizeFiller.json
|
create_callprecompile_returndatasize_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 182,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x20",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/create_callprecompile_returndatasizeFiller.json
|
creationTxInitCodeSizeLimit_d0(valid)_g0_v0#tests/src/GeneralStateTestsFiller/Shanghai/stEIP3860-limitmeterinitcode/creationTxInitCodeSizeLimitFiller.yml
|
creationTxInitCodeSizeLimit_d0(valid)_g0_v0
|
Panic
|
sum_txs_calldata <= max_calldata: sum_txs_calldata=49152, max_calldata=5000
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/Shanghai/stEIP3860-limitmeterinitcode/creationTxInitCodeSizeLimitFiller.yml
|
creationTxInitCodeSizeLimit_d1(invalid)_g0_v0#tests/src/GeneralStateTestsFiller/Shanghai/stEIP3860-limitmeterinitcode/creationTxInitCodeSizeLimitFiller.yml
|
creationTxInitCodeSizeLimit_d1(invalid)_g0_v0
|
Panic
|
sum_txs_calldata <= max_calldata: sum_txs_calldata=49153, max_calldata=5000
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/Shanghai/stEIP3860-limitmeterinitcode/creationTxInitCodeSizeLimitFiller.yml
|
dynamicAccountOverwriteEmpty_d0_g0_v0#tests/src/GeneralStateTestsFiller/stExtCodeHash/dynamicAccountOverwriteEmptyFiller.yml
|
dynamicAccountOverwriteEmpty_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 215,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0xc199c1845a338ae63fd69150648f1c1e564b805258b52b8abc396dfccf4bca4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 73,
name: "value column at Rotation::prev() equals value_prev at Rotation::cur()",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 215,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 8,
annotation: "value_prev",
},
rotation: 0,
},
"0xc199c1845a338ae63fd69150648f1c1e564b805258b52b8abc396dfccf4bca4",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stExtCodeHash/dynamicAccountOverwriteEmptyFiller.yml
|
extcodehashEmpty_d0(empty)_g0_v0#tests/src/GeneralStateTestsFiller/stExtCodeHash/extcodehashEmptyFiller.yml
|
extcodehashEmpty_d0(empty)_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 156,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x2f71d9860890f284508cc661eb78c7b33a1d910a99daa1ccfade86f9a44419e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 73,
name: "value column at Rotation::prev() equals value_prev at Rotation::cur()",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 156,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 8,
annotation: "value_prev",
},
rotation: 0,
},
"0x2f71d9860890f284508cc661eb78c7b33a1d910a99daa1ccfade86f9a44419e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stExtCodeHash/extcodehashEmptyFiller.yml
|
extcodehashEmpty_d1(storage)_g0_v0#tests/src/GeneralStateTestsFiller/stExtCodeHash/extcodehashEmptyFiller.yml
|
extcodehashEmpty_d1(storage)_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 156,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x2f71d9860890f284508cc661eb78c7b33a1d910a99daa1ccfade86f9a44419e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 73,
name: "value column at Rotation::prev() equals value_prev at Rotation::cur()",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 156,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 8,
annotation: "value_prev",
},
rotation: 0,
},
"0x2f71d9860890f284508cc661eb78c7b33a1d910a99daa1ccfade86f9a44419e",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stExtCodeHash/extcodehashEmptyFiller.yml
|
initCollidingWithNonEmptyAccount_d0_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d0_g0_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d1_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d1_g0_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d2_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d2_g0_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d3_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d3_g0_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d4_g0_v0#tests/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
initCollidingWithNonEmptyAccount_d4_g0_v0
|
Panic
|
not implemented: deployment collision
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stEIP3607/initCollidingWithNonEmptyAccountFiller.yml
|
memCopySelf_d0_g0_v0#tests/src/GeneralStateTestsFiller/stMemoryTest/memCopySelfFiller.yml
|
memCopySelf_d0_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stMemoryTest/memCopySelfFiller.yml
|
modexp_modsize0_returndatasize_d1_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json
|
modexp_modsize0_returndatasize_d1_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 127,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.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: 22,
name: "state circuit constraints",
},
index: 4,
name: "non-first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 140,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: -1,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x64",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/modexp_modsize0_returndatasizeFiller.json
|
randomStatetest1_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRandom/randomStatetest1Filler.json
|
randomStatetest1_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 354,
name: "ErrorOutOfGasCall",
},
index: 75,
name: "lhs - rhs == diff - (lt ⋅ range)",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 33,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRandom/randomStatetest1Filler.json
|
randomStatetest307_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRandom/randomStatetest307Filler.json
|
randomStatetest307_d0_g0_v0
|
Panic
|
assertion failed: f(value)
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRandom/randomStatetest307Filler.json
|
randomStatetest32_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRandom/randomStatetest32Filler.json
|
randomStatetest32_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 354,
name: "ErrorOutOfGasCall",
},
index: 75,
name: "lhs - rhs == diff - (lt ⋅ range)",
},
location: InRegion {
region: Region 10 ('Execution step'),
offset: 33,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 53,
annotation: "EVM_q_step",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRandom/randomStatetest32Filler.json
|
randomStatetest618_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRandom2/randomStatetest618Filler.json
|
randomStatetest618_d0_g0_v0
|
Panic
|
index out of bounds: the len is 22 but the index is 33
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRandom2/randomStatetest618Filler.json
|
randomStatetest85_d0_g0_v0#tests/src/GeneralStateTestsFiller/stRandom/randomStatetest85Filler.json
|
randomStatetest85_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `19260`,
right: `21560`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stRandom/randomStatetest85Filler.json
|
returndatasize_after_failing_callcode_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_callcodeFiller.json
|
returndatasize_after_failing_callcode_d0_g0_v0
|
Fail
|
CannotGenerateCircuitInput(EthTypeError(InvalidStackPointer))
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_callcodeFiller.json
|
returndatasize_after_failing_delegatecall_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_delegatecallFiller.json
|
returndatasize_after_failing_delegatecall_d0_g0_v0
|
Fail
|
CannotGenerateCircuitInput(EthTypeError(InvalidStackPointer))
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_delegatecallFiller.json
|
returndatasize_after_failing_staticcall_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_staticcallFiller.json
|
returndatasize_after_failing_staticcall_d0_g0_v0
|
Fail
|
CannotGenerateCircuitInput(EthTypeError(InvalidStackPointer))
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_after_failing_staticcallFiller.json
|
returndatasize_bug_d0_g0_v0#tests/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_bugFiller.json
|
returndatasize_bug_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 39,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stReturnDataTest/returndatasize_bugFiller.json
|
static_CallIdentity_1_nonzeroValue_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallIdentity_1_nonzeroValueFiller.json
|
static_CallIdentity_1_nonzeroValue_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `31815`,
right: `34115`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallIdentity_1_nonzeroValueFiller.json
|
static_CallRipemd160_1_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallRipemd160_1Filler.json
|
static_CallRipemd160_1_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x2ec6a1a1763999b0c692165318074623b77a0a87fa9495e6225c4a8a21331133",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 31,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x2ec6a1a1763999b0c692165318074623b77a0a87fa9495e6225c4a8a21331133",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallRipemd160_1Filler.json
|
static_CallSha256_1_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1Filler.json
|
static_CallSha256_1_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `Err([ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 2,
name: "first access reads don't change value",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x224dc34f64514d6e00dee1e80b52ce8f08d051c425384dc32d1dd2fdbd638bc2",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 71,
annotation: "STATE_phase2_initial_value",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}, ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 22,
name: "state circuit constraints",
},
index: 31,
name: "first access for a set of all keys are 0 if READ",
},
location: InRegion {
region: Region 5 ('state circuit'),
offset: 26,
},
cell_values: [
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 1,
annotation: "is_write",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 23,
annotation: "STATE_GADGETS_binary_number_0",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 24,
annotation: "STATE_GADGETS_binary_number_1",
},
rotation: 0,
},
"1",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 25,
annotation: "STATE_GADGETS_binary_number_2",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 26,
annotation: "STATE_GADGETS_binary_number_3",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice,
index: 83,
annotation: "STATE_not_first_access",
},
rotation: 0,
},
"0",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Advice {
phase: Phase(
1,
),
},
index: 7,
annotation: "value",
},
rotation: 0,
},
"0x224dc34f64514d6e00dee1e80b52ce8f08d051c425384dc32d1dd2fdbd638bc2",
),
(
DebugVirtualCell {
name: "",
column: DebugColumn {
column_type: Fixed,
index: 0,
annotation: "STATE_selector",
},
rotation: 0,
},
"1",
),
],
}])`,
right: `Ok(())`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1Filler.json
|
static_CallSha256_1_nonzeroValue_d0_g0_v0#tests/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1_nonzeroValueFiller.json
|
static_CallSha256_1_nonzeroValue_d0_g0_v0
|
Panic
|
assertion failed: `(left == right)`
left: `31860`,
right: `34160`
|
https://github.com/ethereum/tests/blob/e4fc8f6cabec7cab0a7a92f8ba3a00a450b2b90b/src/GeneralStateTestsFiller/stStaticCall/static_CallSha256_1_nonzeroValueFiller.json
|