Report

This file contains:

Diffs

MCOPY_copy_cost_d22(src31_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d30(src32_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d14(src1_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_memory_expansion_cost_d7(dst0_src64_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.ymlPanic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d1(dst0_src31_size706)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.ymlPanic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_hash_d2(clear_low_half_2)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.ymlPanic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d23(src31_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d13(src1_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d21(src31_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d29(src32_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d31(src32_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_copy_cost_d15(src1_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.ymlFail(StorgeMismatch(slot:0 expected:0, found: 1)) => Success()
MCOPY_memory_expansion_cost_d10(dst1_src33_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.ymlPanic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
Summary/ Success: +13 / Panic: -4 / Fail: -9 [diff from EIP5656.1714394392.b8c2c83.csv]

Results by folder

By pathSuccessIgnoredFailPanic
tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY109 (97%)0 (0%)0 (0%)3 (2%)
TOTAL109 (97%)0 (0%)0 (0%)3 (2%)

Results by type

By typeCount
109Success_
1Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 381,<br /> name: "ErrorOutOfGasMemoryCopy",<br /> },<br /> index: 39,<br /> name: "ErrorOutOfGasMemoryCopy: Memory address is overflow or gas left is less than cost",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 56,<br /> },<br /> cell_values: [<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Advice,<br /> index: 71,<br /> annotation: "EVM_q_step",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> (<br /> DebugVirtualCell {<br /> name: "",<br /> column: DebugColumn {<br /> column_type: Fixed,<br /> index: 20,<br /> annotation: "",<br /> },<br /> rotation: 0,<br /> },<br /> "1",<br /> ),<br /> ],<br />}])<br /> right: Ok(())
1Panic_called `Result::unwrap()` on an `Err` value: InternalError("check rw failed")
1Panic_Integer overflow when casting to u64

All results

id test_id level details path
MCOPY_memory_expansion_cost_d14(huge_size0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml MCOPY_memory_expansion_cost_d14(huge_size0)_g0_v0 Panic Integer overflow when casting to u64 https://github.com/ethereum/tests/blob/066a5878da000bbf0ff95205c62a6c5c91ca6f52/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml
MCOPY_memory_expansion_cost_d16(huge_dst0_size1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml MCOPY_memory_expansion_cost_d16(huge_dst0_size1)_g0_v0 Panic assertion `left == right` failed left: Err([ConstraintCaseDebug { constraint: Constraint { gate: Gate { index: 381, name: "ErrorOutOfGasMemoryCopy", }, index: 39, name: "ErrorOutOfGasMemoryCopy: Memory address is overflow or gas left is less than cost", }, location: InRegion { region: Region 15 ('Execution step region1_0'), offset: 56, }, cell_values: [ ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Advice, index: 71, annotation: "EVM_q_step", }, rotation: 0, }, "1", ), ( DebugVirtualCell { name: "", column: DebugColumn { column_type: Fixed, index: 20, annotation: "", }, rotation: 0, }, "1", ), ], }]) right: Ok(()) https://github.com/ethereum/tests/blob/066a5878da000bbf0ff95205c62a6c5c91ca6f52/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml
MCOPY_memory_hash_d3(clear_high_half_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.yml MCOPY_memory_hash_d3(clear_high_half_0)_g0_v0 Panic called `Result::unwrap()` on an `Err` value: InternalError("check rw failed") https://github.com/ethereum/tests/blob/066a5878da000bbf0ff95205c62a6c5c91ca6f52/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.yml