bug from fuzzer

2 files changed, 176 insertions, 0 deletions

diff --git a/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json b/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json
new file mode 100644
index 000000000..5f4aa40d2
--- /dev/null
+++ b/src/BlockchainTestsFiller/GeneralStateTests/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0Filler.json
@@ -0,0 +1,94 @@
+{
+    "randomStatetestDEFAULT-Tue_07_58_41-15153-575192_d0g0v0" : {
+        "_info" : {
+            "comment" : "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth"
+        },
+        "blocks" : [
+            {
+                "blockHeaderPremine" : {
+                    "difficulty" : "0x020000",
+                    "gasLimit" : "0x01312d00",
+                    "timestamp" : "0x03e8",
+                    "updatePoW" : "1"
+                },
+                "transactions" : [
+                    {
+                        "data" : "0x",
+                        "gasLimit" : "0x5fde07",
+                        "gasPrice" : "0x01",
+                        "nonce" : "0x1c",
+                        "r" : "0x6297856afd23b21a97bbf1303fc513a4d42ede403df0892cf23e9de10e6eaece",
+                        "s" : "0x3d3915c240cdc4f6f28eb19e2cf0c6e6190b8be8233fdff16d384f44b72c4340",
+                        "to" : "0x1000000000000000000000000000000000000000",
+                        "v" : "0x1c",
+                        "value" : "0x00"
+                    }
+                ],
+                "uncleHeaders" : [
+                ]
+            }
+        ],
+        "expect" : [
+            {
+                "network" : "Constantinople",
+                "result" : {
+                    "0x1000000000000000000000000000000000000000" : {
+                        "balance" : "0x1bc16d674ec83562",
+                        "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155",
+                        "nonce" : "0x1c",
+                        "storage" : {
+                        }
+                    },
+                    "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                        "balance" : "0x5d8fdd3ff5426352",
+                        "code" : "",
+                        "nonce" : "0x1d",
+                        "storage" : {
+                        }
+                    }
+                }
+            }
+        ],
+        "genesisBlockHeader" : {
+            "bloom" : "00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+            "coinbase" : "1000000000000000000000000000000000000000",
+            "difficulty" : "131072",
+            "extraData" : "0x42",
+            "gasLimit" : "0x01312d00",
+            "gasUsed" : "0",
+            "mixHash" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "nonce" : "0x0102030405060708",
+            "number" : "0",
+            "parentHash" : "0x0000000000000000000000000000000000000000000000000000000000000000",
+            "receiptTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "stateRoot" : "0xf99eb1626cfa6db435c0836235942d7ccaa935f1ae247d3f1c21e495685f903a",
+            "timestamp" : "0x03b6",
+            "transactionsTrie" : "0x56e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421",
+            "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
+        },
+        "pre" : {
+            "0x000000000000000000000000000000000000dead" : {
+                "balance" : "0x00",
+                "code" : "0x62abcdefff",
+                "nonce" : "0x1c",
+                "storage" : {
+                }
+            },
+            "0x1000000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155",
+                "nonce" : "0x1c",
+                "storage" : {
+                }
+            },
+            "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                "balance" : "0x5d8fdd3ff54298b4",
+                "code" : "",
+                "nonce" : "0x1c",
+                "storage" : {
+                }
+            }
+        },
+        "sealEngine" : "NoProof"
+    }
+}
\ No newline at end of file
diff --git a/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json b/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json
new file mode 100644
index 000000000..91e3ebdb8
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stBugs/randomStatetestDEFAULT-Tue_07_58_41-15153-575192Filler.json
@@ -0,0 +1,82 @@
+{
+  "randomStatetestDEFAULT-Tue_07_58_41-15153-575192": {
+    "_info": {
+      "comment": "This is a canon example of a test found by fuzzing with EVMlab, demoing how a suicide-created-but-empty account has a non-zero codehash in geth",
+      "filledwith": "evmlab",
+      "lllcversion": "not available",
+      "source": "not available",
+      "sourceHash": "not available"
+    },
+    "expect" : [
+            {
+                "indexes" : {
+                    "data" : -1,
+                    "gas" : -1,
+                    "value" : -1
+                },
+                "network" : [">=Constantinople"],
+                "result" : {
+                    "0x1000000000000000000000000000000000000000" : {
+                            "balance" : "0x3562",
+                            "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155",
+                            "nonce" : "0x1c",
+                            "storage" : {
+                            }
+                        },
+                        "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+                            "balance" : "0x5d8fdd3ff5426352",
+                            "code" : "",
+                            "nonce" : "0x1d",
+                            "storage" : {
+                            }
+                   }
+                }
+            }
+    ],
+    "env": {
+      "currentCoinbase": "0x1000000000000000000000000000000000000000",
+      "currentDifficulty": "0x20000",
+      "currentGasLimit": "0x1312D00",
+      "currentNumber": "1",
+      "currentTimestamp": "1000",
+      "previousHash": "5fa368f13facaec6bf82d19c5d075fd3386be8a4265ed2d90c29b312a09b6d9d"
+    },
+    "pre": {
+      "000000000000000000000000000000000000dead": {
+        "balance": "0x00",
+        "code": "0x62abcdefff",
+        "nonce": "0x1c",
+        "storage": {}
+      },
+      "1000000000000000000000000000000000000000": {
+        "balance": "0x00",
+        "code" : "0x61dead6000600060006000600061dead5af162abcdef3f600155",
+        "nonce": "0x1c",
+        "storage": {}
+      },
+      "a94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
+        "balance": "0x5d8fdd3ff54298b4",
+        "code": "0x",
+        "nonce": "0x1c",
+        "storage": {}
+      }
+    },
+
+    "transaction": {
+      "data": [
+        "0x"
+      ],
+      "gasLimit": [
+        "0x5fde07"
+      ],
+      "gasPrice": "0x01",
+      "nonce": "0x1c",
+      "secretKey": "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+      "to": "0x1000000000000000000000000000000000000000",
+      "value": [
+        "0x00"
+      ]
+    }
+  }
+}
+