Report

This file contains:

Diffs from previous commit
Results by folder
Top results by type
All results

Diffs

MCOPY_copy_cost_d25(src32_size1)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d17(src31_size1)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d21(src31_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d23(src31_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d11(src1_size32)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d22(src31_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d2(src0_size31)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d19(src31_size32)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d20(src31_size33)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d25(src32_size1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d4(src0_size33)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d27(src32_size32)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d12(src1_size33)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d28(src32_size33)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d29(src32_size44767)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d9(src1_size1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d1(src0_size1)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d30(src32_size44768)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d15(backward_disjoint_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d12(backward_overlapped_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d6(src0_size44768)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d14(src1_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_d11(forward_adjacent_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d7(dst0_src64_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml	Fail(StorgeMismatch(slot:0 expected:1408, found: 1344)) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_copy_cost_d5(src0_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d18(inplace_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d6(dst64_src0_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d10(dst1_src33_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml	Fail(StorgeMismatch(slot:0 expected:1408, found: 1376)) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_copy_cost_d18(src31_size31)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d10(src1_size31)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d31(src32_size44769)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d16(backward_adjacent_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_hash_d4(memmove_forward)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at ) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_copy_cost_d5(src0_size44767)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(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.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_d9(forward_disjoint_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d11(dst33_src1_size1344)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d7(forward_overlapped_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(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.yml	Fail(StorgeMismatch(slot:0 expected:768, found: 736)) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_d8(forward_disjoint_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d17(src31_size1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d27(src32_size32)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d4(src0_size33)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d14(src1_size44768)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d26(src32_size31)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d7(src0_size44769)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d15(src1_size44769)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_hash_d5(memmove_backward)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at ) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_copy_cost_d7(src0_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d31(src32_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_d10(forward_adjacent_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d23(src31_size44769)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d20(src31_size33)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d6(forward_overlapped_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d18(src31_size31)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d3(src0_size32)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d10(src1_size31)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d3(src0_size32)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d29(src32_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d13(src1_size44767)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d30(src32_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d15(src1_size44769)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Fail(StorgeMismatch(slot:0 expected:0, found: 1))
MCOPY_copy_cost_d1(src0_size1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d2(src0_size31)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d22(src31_size44768)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d6(src0_size44768)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d17(backward_adjacent_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d19(inplace_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d19(src31_size32)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d9(src1_size1)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d13(src1_size44767)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d13(backward_overlapped_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d21(src31_size44767)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d26(src32_size31)_g1_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_expansion_cost_d2(dst31_src0_size706)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_expansion_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_d14(backward_disjoint_0)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPYFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_memory_hash_d1(clear_low_half_1)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_memory_hashFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at ) => Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> )
MCOPY_copy_cost_d12(src1_size33)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d11(src1_size32)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
MCOPY_copy_cost_d28(src32_size33)_g0_v0#tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY/MCOPY_copy_costFiller.yml	Panic(assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> ) => Success()
Summary	/ Success: +64 / Fail: +6 / Panic: -70 [diff from EIP5656.1714285755.430125f.csv]

Results by folder

By path	Success	Ignored	Fail	Panic
tests/src/GeneralStateTestsFiller/Cancun/stEIP5656-MCOPY	92 (82%)	0 (0%)	9 (8%)	11 (9%)
TOTAL	92 (82%)	0 (0%)	9 (8%)	11 (9%)

Results by type

By type	Count
92	Success_
9	Fail_StorgeMismatch(slot:0 expected:0, found: 1)
3	Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 36,<br /> name: "MCOPY: State transition (to) constraint of memory_word_size",<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(())
1	Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 10,<br /> name: "MCOPY: numerator - remainder == quotient ⋅ denominator",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 36,<br /> name: "MCOPY: State transition (to) constraint of memory_word_size",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 10,<br /> name: "MCOPY: numerator - remainder == quotient ⋅ denominator",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 35,<br /> name: "MCOPY: State transition (delta) constraint of gas_left",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 36,<br /> name: "MCOPY: State transition (to) constraint of memory_word_size",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 221,<br /> name: "SHA3",<br /> },<br /> index: 35,<br /> name: "SHA3: State transition (delta) constraint of gas_left",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 65,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 221,<br /> name: "SHA3",<br /> },<br /> index: 35,<br /> name: "SHA3: State transition (delta) constraint of gas_left",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 110,<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 />}, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 58, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 103])<br /> right: Ok(())
1	Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 103, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 58])<br /> right: Ok(())
1	Panic_called `Result::unwrap()` on an `Err` value: InternalError("check rw failed")
1	Panic_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(())
1	Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 58, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 103])<br /> right: Ok(())
1	Panic_assertion `left == right` failed<br /> left: Err([ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 10,<br /> name: "MCOPY: numerator - remainder == quotient ⋅ denominator",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 58,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 7,<br /> name: "MCOPY: lhs - rhs == diff - (lt ⋅ range)",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, ConstraintCaseDebug {<br /> constraint: Constraint {<br /> gate: Gate {<br /> index: 161,<br /> name: "MCOPY",<br /> },<br /> index: 10,<br /> name: "MCOPY: numerator - remainder == quotient ⋅ denominator",<br /> },<br /> location: InRegion {<br /> region: Region 15 ('Execution step region1_0'),<br /> offset: 103,<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 />}, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 58, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 103])<br /> right: Ok(())
1	Panic_assertion `left == right` failed<br /> left: Err([Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 58, Lookup Rw(index: 2) is not satisfied in Region 15 ('Execution step region1_0') at offset 103])<br /> right: Ok(())
1	Panic_Integer overflow when casting to u64

All results