Merge pull request #435 from ethereum/better-dup-detector

Better dup detector

1 files changed, 19 insertions, 19 deletions

diff --git a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json
index cac5c4212..a06bc18ff 100644
--- a/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json
+++ b/src/GeneralStateTestsFiller/stZeroKnowledge/pointMulAdd2Filler.json
@@ -662,27 +662,27 @@
             },
 	    "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                 "balance" : "",
-		"code" : "  00-32  :  x",
-		"code" : "  32-64  :  y",
-		"code" : "  64-96  :  a",
-		"code" : " 96-128  :  b",
-		"code" : "128-160  :  x2",
-		"code" : "160-192  :  y2",
-		"code" : "192-224  :  z",
+		"//00 code" : "  00-32  :  x",
+		"//01 code" : "  32-64  :  y",
+		"//02 code" : "  64-96  :  a",
+		"//03 code" : " 96-128  :  b",
+		"//04 code" : "128-160  :  x2",
+		"//05 code" : "160-192  :  y2",
+		"//06 code" : "192-224  :  z",
 
-		"code" : "300-332  :  x+a",
-		"code" : "332-364  :  y+b",
-		"code" : "400-432  :  x2*z",
-		"code" : "432-464  :  y2*z",
+		"//07 code" : "300-332  :  x+a",
+		"//08 code" : "332-364  :  y+b",
+		"//09 code" : "400-432  :  x2*z",
+		"//0a code" : "432-464  :  y2*z",
 
-		"code" : "  [[0]]  :  add(xy   + ab)",
-		"code" : "  [[1]]  :  mul(x2y2 * z)",
-		"code" : "  [[2]]  :  (x + a) == (x2 * z)",
-		"code" : "  [[3]]  :  (y + b) == (y2 * z)",
-		"code" : " [[0a]]  :  x  + a",
-		"code" : " [[0b]]  :  y  + b",
-		"code" : " [[14]]  :  x2 * z",
-		"code" : " [[15]]  :  y2 * z",
+		"//0b code" : "  [[0]]  :  add(xy   + ab)",
+		"//0c code" : "  [[1]]  :  mul(x2y2 * z)",
+		"//0d code" : "  [[2]]  :  (x + a) == (x2 * z)",
+		"//0e code" : "  [[3]]  :  (y + b) == (y2 * z)",
+		"//0f code" : " [[0a]]  :  x  + a",
+		"//10 code" : " [[0b]]  :  y  + b",
+		"//11 code" : " [[14]]  :  x2 * z",
+		"//12 code" : " [[15]]  :  y2 * z",
 
                 "code" : "{(MSTORE 0 (CALLDATALOAD 0)) (MSTORE 32 (CALLDATALOAD 32)) (MSTORE 64 (CALLDATALOAD 64)) (MSTORE 96 (CALLDATALOAD 96))  (MSTORE 128 (CALLDATALOAD 128)) (MSTORE 160 (CALLDATALOAD 160)) (MSTORE 192 (CALLDATALOAD 192)) [[0]](CALLCODE 500000 6 0 0 128 300 64)  [[1]](CALLCODE 500000 7 0 128 96 400 64) [[10]] (MLOAD 300)  [[11]] (MLOAD 332) [[20]] (MLOAD 400)  [[21]] (MLOAD 432) [[2]] (EQ (SLOAD 10) (SLOAD 20)) [[3]] (EQ (SLOAD 11) (SLOAD 21))}",
                 "nonce" : "0",