From 5eb15a52201e4964c22b0d729f06690c4ec72298 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 28 Aug 2018 21:02:48 +0530 Subject: [PATCH 1/8] Use xml coverage report --- coverage_report.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/coverage_report.sh b/coverage_report.sh index 153f3d58..9f78f84a 100755 --- a/coverage_report.sh +++ b/coverage_report.sh @@ -12,4 +12,5 @@ rm -rf coverage_html_report py.test \ --cov=mythril \ --cov-config=tox.ini \ - --cov-report=html:coverage_html_report \ + --cov-report=html:coverage_reports/coverage_html_report \ + --cov-report=xml:coverage_reports/coverage_xml_report.xml From 726924276b4cabb79817d9b555e27dd261aebb98 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Thu, 30 Aug 2018 22:02:23 +0530 Subject: [PATCH 2/8] Add Bitwise tests --- mythril/laser/ethereum/instructions.py | 7 ++- .../VMTests/vmBitwiseLogicOperation/and0.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/and1.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/and2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/and3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/and4.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/and5.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte0.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte1.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte10.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/byte11.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/byte2.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte3.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte4.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte5.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte6.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte7.json | 52 +++++++++++++++++++ .../vmBitwiseLogicOperation/byte8.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/byte9.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/eq0.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/eq1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/eq2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/gt0.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/gt1.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/gt2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/gt3.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/iszeo2.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/iszero0.json | 51 ++++++++++++++++++ .../vmBitwiseLogicOperation/iszero1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/lt0.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/lt1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/lt2.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/lt3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not0.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not2.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not4.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/not5.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or0.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or4.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/or5.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/sgt0.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/sgt1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/sgt2.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/sgt3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/sgt4.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/slt0.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/slt1.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/slt2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/slt3.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/slt4.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor0.json | 51 ++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor1.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor2.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor3.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor4.json | 52 +++++++++++++++++++ .../VMTests/vmBitwiseLogicOperation/xor5.json | 52 +++++++++++++++++++ tests/laser/evm_testsuite/evm_test.py | 24 +++++---- 62 files changed, 3119 insertions(+), 13 deletions(-) create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json create mode 100644 tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 31fc8aa6..addc93b9 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -156,12 +156,15 @@ class Instruction: try: index = util.get_concrete_int(op0) offset = (31 - index) * 8 - result = Concat(BitVecVal(0, 248), Extract(offset + 7, offset, op1)) + if offset >= 0: + result = simplify(Concat(BitVecVal(0, 248), Extract(offset + 7, offset, op1))) + else: + result = 0 except AttributeError: logging.debug("BYTE: Unsupported symbolic byte offset") result = BitVec(str(simplify(op1)) + "[" + str(simplify(op0)) + "]", 256) - mstate.stack.append(simplify(result)) + mstate.stack.append(result) return [global_state] # Arithmetic diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json new file mode 100644 index 00000000..f355efec --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and0.json @@ -0,0 +1,52 @@ +{ + "and0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and0Filler.json", + "sourceHash" : "751e5c75a0cb1826f0a0d355bdf3f27982c52bd4b7b28cfbac953528fe2c6b8a" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600216600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600216600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x02" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600216600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json new file mode 100644 index 00000000..06d463a1 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and1.json @@ -0,0 +1,51 @@ +{ + "and1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and1Filler.json", + "sourceHash" : "cc1f598dde43f243ed3b79d6876def08bd96e0f532b29dceb744f696867d9148" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600216600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600216600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600216600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json new file mode 100644 index 00000000..958b198b --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and2.json @@ -0,0 +1,52 @@ +{ + "and2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and2Filler.json", + "sourceHash" : "c406f9725926f6cc70844468f19b89588e6762067a031cc07b99348ac267e742" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600316600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600316600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600316600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json new file mode 100644 index 00000000..a0636cba --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and3.json @@ -0,0 +1,52 @@ +{ + "and3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and3Filler.json", + "sourceHash" : "2e7027e2c4da993dee53d9c1549115c977112ba350b4371946ab2d06ad450e63" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff16600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json new file mode 100644 index 00000000..fe79510c --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and4.json @@ -0,0 +1,52 @@ +{ + "and4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and4Filler.json", + "sourceHash" : "aae5ac146ebfbba6d13ad1b8194d91eb8dea6d4769c45a38576a443ad94ab2cd" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json new file mode 100644 index 00000000..d3f1a79e --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/and5.json @@ -0,0 +1,52 @@ +{ + "and5" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/and5Filler.json", + "sourceHash" : "76a55675eeeb3cbe72d56adb48b158ceb4ce445420788df61486a7c63e09cd6b" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee16600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json new file mode 100644 index 00000000..a15e74bc --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte0.json @@ -0,0 +1,52 @@ +{ + "byte0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte0Filler.json", + "sourceHash" : "6764ebba17fa4d9be8f1abfb1d2fd0fe50528a43081a79a1f4fdeb8168fdb465" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016000601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016000601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016000601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json new file mode 100644 index 00000000..f5aa17a3 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte1.json @@ -0,0 +1,52 @@ +{ + "byte1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte1Filler.json", + "sourceHash" : "622c7aedaefd48e66eff987415f47ab610b595b1f85c5dfafb09616e0bbdfd75" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016001601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016001601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x02" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016001601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json new file mode 100644 index 00000000..22cbb945 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte10.json @@ -0,0 +1,51 @@ +{ + "byte10" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte10Filler.json", + "sourceHash" : "1c00cff0fd72755c87f59585d40a1edf5d63b1386f3ddbc23fd95b03e8f9c9f7" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1a600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff1a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json new file mode 100644 index 00000000..61f81342 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte11.json @@ -0,0 +1,51 @@ +{ + "byte11" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte11Filler.json", + "sourceHash" : "e649fc5b9e0fbbc092ea449680e3055126543b929ba7147b9c967ee35e695a2e" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x67804020100804020160001a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x67804020100804020160001a600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x67804020100804020160001a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json new file mode 100644 index 00000000..e7e50804 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte2.json @@ -0,0 +1,52 @@ +{ + "byte2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte2Filler.json", + "sourceHash" : "0367f73e6a3a5257c7c35f7ebdddb42888be0f0d7534b2687e20c286df02c90e" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016002601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016002601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x04" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016002601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json new file mode 100644 index 00000000..587640df --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte3.json @@ -0,0 +1,52 @@ +{ + "byte3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte3Filler.json", + "sourceHash" : "5b001879a3cdd7c7e4a1cc6ef0e0101db4931274676fa2083c52b7bbb95403de" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016003601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016003601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x08" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016003601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json new file mode 100644 index 00000000..d52c8485 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte4.json @@ -0,0 +1,52 @@ +{ + "byte4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte4Filler.json", + "sourceHash" : "d79870f477b475d6f878076b20631d89ce8831da937252cf6657d935f0ad3482" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016004601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016004601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x10" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016004601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json new file mode 100644 index 00000000..f738d6ff --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte5.json @@ -0,0 +1,52 @@ +{ + "byte5" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte5Filler.json", + "sourceHash" : "9242b77cc4a07275c886c83d252350713ac84a914cc7b5069f7fdd21e887b6c0" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016005601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016005601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x20" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016005601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json new file mode 100644 index 00000000..719bcc94 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte6.json @@ -0,0 +1,52 @@ +{ + "byte6" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte6Filler.json", + "sourceHash" : "702f95bfde16820fa666d510e6c48af4b06c824d6464d5ba344fe76696b8e526" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016006601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016006601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x40" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016006601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json new file mode 100644 index 00000000..58a92e2d --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte7.json @@ -0,0 +1,52 @@ +{ + "byte7" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte7Filler.json", + "sourceHash" : "5f8261cfc1a852245ad1606af64a6e1cca7ad5d0082eef8d32c68ae6d92eb2ba" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016007601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016007601f031a600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x80" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016007601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json new file mode 100644 index 00000000..bb996120 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte8.json @@ -0,0 +1,51 @@ +{ + "byte8" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte8Filler.json", + "sourceHash" : "505fcf8b5851e3c9689ab5e1ef238abf45379045f0c21ac44ee6e1a8e51c9f9a" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x678040201008040201601f601f031a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017306", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x678040201008040201601f601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x678040201008040201601f601f031a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json new file mode 100644 index 00000000..f4942f48 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/byte9.json @@ -0,0 +1,51 @@ +{ + "byte9" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/byte9Filler.json", + "sourceHash" : "b4c4eb8a9dd91e27de3645370f434e4f617deb1f5c425286374537552e3ab7f3" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6780402010080402016020601f051a600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017304", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016020601f051a600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6780402010080402016020601f051a600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json new file mode 100644 index 00000000..b8990859 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq0.json @@ -0,0 +1,51 @@ +{ + "eq0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/eq0Filler.json", + "sourceHash" : "19b881bd7fb221954f30f51297eb529bb212bc9c8cf0d69c7f98f9f51985817e" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6003600003600560000314600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017300", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000314600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000314600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json new file mode 100644 index 00000000..7606a5d1 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq1.json @@ -0,0 +1,52 @@ +{ + "eq1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/eq1Filler.json", + "sourceHash" : "fc840a1a4938e2e95f1554bf8457ce0b0309bab97b81a41b4c8a8c6c92e22814" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6000600014600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600014600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600014600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json new file mode 100644 index 00000000..9207a361 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/eq2.json @@ -0,0 +1,52 @@ +{ + "eq2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/eq2Filler.json", + "sourceHash" : "8240a3a93dc6c7720f3eb4b9d4657c8f13275f68c13ed4150d9725dada431480" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json new file mode 100644 index 00000000..7c1d95c7 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt0.json @@ -0,0 +1,52 @@ +{ + "gt0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/gt0Filler.json", + "sourceHash" : "dd0a3d85d6ff2212eeb3200d247a57bfb1cc778850904069b4473d005f044a80" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6000600260000311600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000311600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000311600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json new file mode 100644 index 00000000..a909a2e8 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt1.json @@ -0,0 +1,51 @@ +{ + "gt1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/gt1Filler.json", + "sourceHash" : "2d0cc48b6bacc0f8676ad35ef31ccec94c6d9e6485715c894bcc09f145c513cc" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600003600011600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017306", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600011600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600011600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json new file mode 100644 index 00000000..e79751c8 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt2.json @@ -0,0 +1,52 @@ +{ + "gt2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/gt2Filler.json", + "sourceHash" : "5353ce8dad79cfc681d5df6bc90931ea174bf2c0692aa6bd4ac3dfc4b15105cf" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff11600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff11600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff11600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json new file mode 100644 index 00000000..c5802f1a --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/gt3.json @@ -0,0 +1,51 @@ +{ + "gt3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/gt3Filler.json", + "sourceHash" : "a2135f3cc275562615d53ef7e0b42284789cf52871f599c9ba581fcf90157914" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600011600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600011600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600011600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json new file mode 100644 index 00000000..e00c3316 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszeo2.json @@ -0,0 +1,51 @@ +{ + "iszeo2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/iszeo2Filler.json", + "sourceHash" : "abf5b709846b428ec72f7011c84753cef326b6a91ff947a5b803bf2908c335e8" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600260000315600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017309", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600260000315600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600260000315600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json new file mode 100644 index 00000000..bbca9403 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero0.json @@ -0,0 +1,51 @@ +{ + "iszero0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/iszero0Filler.json", + "sourceHash" : "0535ce2a70ccc8c78f99dd11be51043663ad7bf946daa2e24bd5c76ee1df769e" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff15600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730f", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff15600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff15600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json new file mode 100644 index 00000000..f0b745fa --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/iszero1.json @@ -0,0 +1,52 @@ +{ + "iszero1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/iszero1Filler.json", + "sourceHash" : "3c42208e8bba63c702a33e754f3401999219454a52e165d33e56ccb406b0b2dc" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600015600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013877", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600015600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600015600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json new file mode 100644 index 00000000..c480c6ec --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt0.json @@ -0,0 +1,51 @@ +{ + "lt0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/lt0Filler.json", + "sourceHash" : "8c4640067abed7206324348cb90d1d499c1e6f8f7ec5b3bdd6ea8c62ce7fc8b2" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6000600260000310600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x8ac7230489e80000" + }, + "gas" : "0x017306", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x152d02c7e14af6800000", + "code" : "0x6000600260000310600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x152d02c7e14af6800000", + "code" : "0x6000600260000310600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json new file mode 100644 index 00000000..e6b32e90 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt1.json @@ -0,0 +1,52 @@ +{ + "lt1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/lt1Filler.json", + "sourceHash" : "3ddb48b8cc6dc67dc7c7f4f804db8ad2739565020f06fbd3c9636a454049ae86" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600003600010600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x8ac7230489e80000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x8ac7230489e80000", + "code" : "0x6002600003600010600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x8ac7230489e80000", + "code" : "0x6002600003600010600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json new file mode 100644 index 00000000..aaa5ff46 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt2.json @@ -0,0 +1,51 @@ +{ + "lt2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/lt2Filler.json", + "sourceHash" : "1fe431426fd45116ab7fd624909b52c1dd905887d087b5cdcdbef664c1d1bfa2" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff10600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x8ac7230489e80000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x8ac7230489e80000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff10600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x8ac7230489e80000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff10600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json new file mode 100644 index 00000000..44db9d42 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/lt3.json @@ -0,0 +1,52 @@ +{ + "lt3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/lt3Filler.json", + "sourceHash" : "79ab580a8f6e442539c2aeaa1fdfca3d0d12d3e85d8bc124db331f19de4bd9fa" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600010600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600010600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600010600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json new file mode 100644 index 00000000..493876bb --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not0.json @@ -0,0 +1,52 @@ +{ + "not0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not0Filler.json", + "sourceHash" : "80140479a2b011050f7ed80dfba95f9c00440635a371693d6f8a7b1e3e21ef44" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600019600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013877", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600019600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600019600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json new file mode 100644 index 00000000..3e0b798f --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not1.json @@ -0,0 +1,52 @@ +{ + "not1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not1Filler.json", + "sourceHash" : "61f2abd58fadf0341f0d0743279d10fb152cf42b78ed8ce2a6c8a749c9274332" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600219600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013877", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600219600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600219600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json new file mode 100644 index 00000000..e142f837 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not2.json @@ -0,0 +1,51 @@ +{ + "not2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not2Filler.json", + "sourceHash" : "ef8e55a7bab388cf9472c4d331aeb4ca059675b73fa647dac1ca0b2524cf91b1" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730f", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff19600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json new file mode 100644 index 00000000..00aa3f99 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not3.json @@ -0,0 +1,52 @@ +{ + "not3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not3Filler.json", + "sourceHash" : "bd3ee9eaf6195c4cdcd8f9620da701fd0cfff77824ef02e6f65743d7a0433d21" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600260000319600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013871", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600260000319600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600260000319600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json new file mode 100644 index 00000000..f326eb98 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not4.json @@ -0,0 +1,52 @@ +{ + "not4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not4Filler.json", + "sourceHash" : "f4a5202e1416c1b53b6b4150f295f9a008c8904171c04d0eacb419364cb64de6" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000319600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013871", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000319600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60000319600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json new file mode 100644 index 00000000..cb0f86be --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/not5.json @@ -0,0 +1,52 @@ +{ + "not5" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/not5Filler.json", + "sourceHash" : "e8c79e98f719d804dc6c480f771278ade666e1a97af54043a6f7b9260d0a17d9" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x600060000319600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013871", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600060000319600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x600060000319600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json new file mode 100644 index 00000000..512a6fd2 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or0.json @@ -0,0 +1,52 @@ +{ + "or0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or0Filler.json", + "sourceHash" : "60d30a058afaca0a4b0433cb750a882fcb964babe2675d590bf875003bbcd663" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600217600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600217600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x02" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600217600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json new file mode 100644 index 00000000..ae2ae6b3 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or1.json @@ -0,0 +1,52 @@ +{ + "or1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or1Filler.json", + "sourceHash" : "2b15c764efc21f1210ab5ff1ebbc41c279eb184ea5970f83fa814aec8b1b0292" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600217600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600217600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x03" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600217600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json new file mode 100644 index 00000000..589f1f45 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or2.json @@ -0,0 +1,52 @@ +{ + "or2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or2Filler.json", + "sourceHash" : "ab771b280d2f0bfc691b93a7767de24ec2f71a43b8247979b22dfa49a521af15" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600317600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600317600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x03" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600317600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json new file mode 100644 index 00000000..207cfaec --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or3.json @@ -0,0 +1,52 @@ +{ + "or3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or3Filler.json", + "sourceHash" : "4f201fc156a840f69212d6f16e5c3648386df255dd52461555458d04b6413ce1" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff17600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff17600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff17600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json new file mode 100644 index 00000000..621cc6c4 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or4.json @@ -0,0 +1,52 @@ +{ + "or4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or4Filler.json", + "sourceHash" : "0e0592c288d6510637595f966ec63289bf101dd48839b10f6fdce743cf3012ad" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json new file mode 100644 index 00000000..583c917b --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/or5.json @@ -0,0 +1,52 @@ +{ + "or5" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/or5Filler.json", + "sourceHash" : "0f852bc89f9f883b43f277652d411439032eb3e1c38c316e2ef0a0c20bf6f7ad" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee17600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json new file mode 100644 index 00000000..3497d203 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt0.json @@ -0,0 +1,51 @@ +{ + "sgt0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/sgt0Filler.json", + "sourceHash" : "74429fc4319b59fa4f7df388ca07a947def51d79695c7bac6c38d2c4bbbcbdfa" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6000600260000313600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017306", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000313600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000313600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json new file mode 100644 index 00000000..913f7007 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt1.json @@ -0,0 +1,52 @@ +{ + "sgt1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/sgt1Filler.json", + "sourceHash" : "3e4a2036e947ad6771ac9194d6f1f58872d1b2865e23b926d63b1294d031e8bd" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600003600013600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600013600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600013600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json new file mode 100644 index 00000000..a53edb4e --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt2.json @@ -0,0 +1,51 @@ +{ + "sgt2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/sgt2Filler.json", + "sourceHash" : "fc4192183cf3a5794822bdab685ac3bc20ac5d9b49cd03b9f98be2260e8e18bb" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff13600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff13600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff13600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json new file mode 100644 index 00000000..d6cc5e93 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt3.json @@ -0,0 +1,52 @@ +{ + "sgt3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/sgt3Filler.json", + "sourceHash" : "e918a6569299b5e0917ec90d3c2bb2828ff490400e2ffbc29e03147743c2e17f" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600013600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600013600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600013600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json new file mode 100644 index 00000000..567293ec --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/sgt4.json @@ -0,0 +1,51 @@ +{ + "sgt4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/sgt4Filler.json", + "sourceHash" : "623b92335dbc7baa5925ad95d7ff90160ab49dee7c7a76de9e1795c651987514" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6003600003600560000313600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017300", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000313600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000313600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json new file mode 100644 index 00000000..a012e22e --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt0.json @@ -0,0 +1,52 @@ +{ + "slt0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/slt0Filler.json", + "sourceHash" : "f510a0b92d9f98666b853cb682b86d4016408a4305ec11ee83627a432b9b75cf" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6000600260000312600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01386e", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000312600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6000600260000312600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json new file mode 100644 index 00000000..1248ca61 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt1.json @@ -0,0 +1,51 @@ +{ + "slt1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/slt1Filler.json", + "sourceHash" : "f428e4e49d4c5f0820c9952b8583209cd93677f6328bd8bff26d55f0f6a1c792" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600003600012600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x017306", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600012600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600003600012600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json new file mode 100644 index 00000000..cecc18f9 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt2.json @@ -0,0 +1,52 @@ +{ + "slt2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/slt2Filler.json", + "sourceHash" : "094c13e4222baaa5a888b8246ca586ad40d2bfe12abb3566b92d82f018722a8f" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff12600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff12600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff12600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json new file mode 100644 index 00000000..2cb5ab44 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt3.json @@ -0,0 +1,51 @@ +{ + "slt3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/slt3Filler.json", + "sourceHash" : "70c376b7f2b96131b36bc2b6cae47b71ed9da0586ff154db88eecccc08528d2e" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600012600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600012600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600012600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json new file mode 100644 index 00000000..a8837795 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/slt4.json @@ -0,0 +1,52 @@ +{ + "slt4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/slt4Filler.json", + "sourceHash" : "d3a476ad08a0873b4910f4aee5dd8857b4aa4e708e1a13e66836d6483a109702" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6003600003600560000312600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013868", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000312600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6003600003600560000312600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json new file mode 100644 index 00000000..57b95584 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor0.json @@ -0,0 +1,51 @@ +{ + "xor0" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor0Filler.json", + "sourceHash" : "50cd2de5dcf00384df0dbaaeec9be0f9029b9134bf7ea41ccc7acc94afef3974" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6002600218600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x01730c", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600218600055", + "nonce" : "0x00", + "storage" : { + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6002600218600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json new file mode 100644 index 00000000..063d9ccb --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor1.json @@ -0,0 +1,52 @@ +{ + "xor1" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor1Filler.json", + "sourceHash" : "f046ebf7e2d78d47eb651513e53bfc77b24044f1c5f6d985a0001123901b2243" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600218600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600218600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x03" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600218600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json new file mode 100644 index 00000000..b4f0997b --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor2.json @@ -0,0 +1,52 @@ +{ + "xor2" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor2Filler.json", + "sourceHash" : "736386ced72b004a11c09de088a600a13ded13af4403b3142f7b62587f0ff99d" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x6001600318600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600318600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x02" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x6001600318600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json new file mode 100644 index 00000000..00531816 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor3.json @@ -0,0 +1,52 @@ +{ + "xor3" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor3Filler.json", + "sourceHash" : "ee07af05a441f80e1c4256a31057ba009a4dcc5640f4c920c7ca527554c918de" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff18600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff18600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0xfedcba9876543210fedcba9876543210fedcba9876543210fedcba9876543210" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7f0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff18600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json new file mode 100644 index 00000000..84add4fc --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor4.json @@ -0,0 +1,52 @@ +{ + "xor4" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor4Filler.json", + "sourceHash" : "a1b253998968b3a29e9deb1019e0b1acd7e164c1a1dd9d930f300ecdd4c032a1" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x1111111111111111111111111111111111111111111111111111111111111111" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json new file mode 100644 index 00000000..1a9d8873 --- /dev/null +++ b/tests/laser/evm_testsuite/VMTests/vmBitwiseLogicOperation/xor5.json @@ -0,0 +1,52 @@ +{ + "xor5" : { + "_info" : { + "comment" : "", + "filledwith" : "cpp-1.3.0+commit.6e0ce939.Linux.g++", + "lllcversion" : "Version: 0.4.18-develop.2017.9.25+commit.a72237f2.Linux.g++", + "source" : "src/VMTestsFiller/vmBitwiseLogicOperation/xor5Filler.json", + "sourceHash" : "6305730bcb3953b7c28476aeca3e1e6a95c93e56b0094e4145ea6816b9edea1a" + }, + "callcreates" : [ + ], + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x0100", + "currentGasLimit" : "0x0f4240", + "currentNumber" : "0x00", + "currentTimestamp" : "0x01" + }, + "exec" : { + "address" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "caller" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "data" : "0x", + "gas" : "0x0186a0", + "gasPrice" : "0x5af3107a4000", + "origin" : "0xcd1722f3947def4cf144679da39c4c32bdc35681", + "value" : "0x0de0b6b3a7640000" + }, + "gas" : "0x013874", + "logs" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347", + "out" : "0x", + "post" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x1111111111111111111111111111101111111111111111111111111111111111" + } + } + }, + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0xd3c21bcecceda1000000", + "code" : "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7feeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee18600055", + "nonce" : "0x00", + "storage" : { + } + } + } + } +} \ No newline at end of file diff --git a/tests/laser/evm_testsuite/evm_test.py b/tests/laser/evm_testsuite/evm_test.py index a84c1a8b..41f9c43f 100644 --- a/tests/laser/evm_testsuite/evm_test.py +++ b/tests/laser/evm_testsuite/evm_test.py @@ -11,28 +11,30 @@ import pytest evm_test_dir = Path(__file__).parent / 'VMTests' +test_types = ['vmArithmeticTest', 'vmBitwiseLogicOperation'] -def load_test_data(designation): - return_data = [] - for file_reference in (evm_test_dir / designation).iterdir(): +def load_test_data(designations): + return_data = [] + for designation in designations: + for file_reference in (evm_test_dir / designation).iterdir(): - with file_reference.open() as file: - top_level = json.load(file) + with file_reference.open() as file: + top_level = json.load(file) - for test_name, data in top_level.items(): - pre_condition = data['pre'] + for test_name, data in top_level.items(): + pre_condition = data['pre'] - action = data['exec'] + action = data['exec'] - post_condition = data['post'] + post_condition = data['post'] - return_data.append((test_name, pre_condition, action, post_condition)) + return_data.append((test_name, pre_condition, action, post_condition)) return return_data -@pytest.mark.parametrize("test_name, pre_condition, action, post_condition", load_test_data('vmArithmeticTest')) +@pytest.mark.parametrize("test_name, pre_condition, action, post_condition", load_test_data(test_types)) def test_vmtest(test_name: str, pre_condition: dict, action: dict, post_condition: dict) -> None: # Arrange From 62bca80cc914b6131ac8d510bf8cac4e316be7b8 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 31 Aug 2018 00:00:45 +0700 Subject: [PATCH 3/8] Update README.md --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 749175eb..98fc7850 100644 --- a/README.md +++ b/README.md @@ -7,9 +7,11 @@ mythril -Mythril OSS is the classic open-source version of [Mythril](https://mythril.ai), a security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. +Mythril OSS is a classic security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. -**Special Announcement**: The Mythril community is moving to [Discord](https://discord.gg/dFHQGrE). Our Gitter channels and Telegram groups will be closed shortly. Whether you want to contribute, need support, or want to learn what we have cooking for the future, out [Discord server](https://discord.gg/dFHQGrE) will serve your needs! +Whether you want to contribute, need support, or want to learn what we have cooking for the future, our [Discord server](https://discord.gg/dFHQGrE) will serve your needs! + +Oh and by the way, we're now building a whole security tools ecosystem with [Mythril Platform API](https://mythril.ai). You should definitely check that out as well. ## Installation and setup From 030d1e100e582605ae948a85222d40a03e6a8be6 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 31 Aug 2018 00:01:12 +0700 Subject: [PATCH 4/8] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 98fc7850..acd896e8 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ mythril -Mythril OSS is a classic security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. +Mythril OSS is the classic security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities. Whether you want to contribute, need support, or want to learn what we have cooking for the future, our [Discord server](https://discord.gg/dFHQGrE) will serve your needs! From f69a8439dbf71362044c734b558ef990050be7bf Mon Sep 17 00:00:00 2001 From: rocky Date: Fri, 31 Aug 2018 08:19:40 -0400 Subject: [PATCH 5/8] Put issue instructions in comments... so users don't have to delete them. In bug-report.md, put possibly the more likley thing to do at the top. --- .github/ISSUE_TEMPLATE/analysis-module.md | 18 +++++----- .github/ISSUE_TEMPLATE/bug-report.md | 41 ++++++++++++++--------- .github/ISSUE_TEMPLATE/feature-request.md | 11 +++--- 3 files changed, 42 insertions(+), 28 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/analysis-module.md b/.github/ISSUE_TEMPLATE/analysis-module.md index 63f4d240..3eb0eda9 100644 --- a/.github/ISSUE_TEMPLATE/analysis-module.md +++ b/.github/ISSUE_TEMPLATE/analysis-module.md @@ -4,34 +4,34 @@ about: Create an analysis module feature request --- -Please remove any of the optional sections if they are not applicable. + ## Description -Replace this text with a description of an vulnerability that should be -detected by a Mythril analysis module. + ## Tests -_This section is optional._ + ## Implementation details -_This section is optional._ + ## Links -_This section is optional._ + diff --git a/.github/ISSUE_TEMPLATE/bug-report.md b/.github/ISSUE_TEMPLATE/bug-report.md index 67f14f27..cac5714a 100644 --- a/.github/ISSUE_TEMPLATE/bug-report.md +++ b/.github/ISSUE_TEMPLATE/bug-report.md @@ -4,25 +4,20 @@ about: Tell us about Mythril bugs to help us improve --- -_Note: did you notice that there is now a template for requesting new features?_ + ## Description -Replace this text with a clear and concise description of the bug. + ## How to Reproduce -Please show both the input you gave and the -output you got in describing how to reproduce the bug: + + ## Expected behavior -A clear and concise description of what you expected to happen. + ## Screenshots -_This section is optional._ + + ## Environment -_This section sometimes is optional but helpful to us._ + + ## Additional Environment or Context -_This section is optional._ + diff --git a/.github/ISSUE_TEMPLATE/feature-request.md b/.github/ISSUE_TEMPLATE/feature-request.md index b06ae9a4..942b850c 100644 --- a/.github/ISSUE_TEMPLATE/feature-request.md +++ b/.github/ISSUE_TEMPLATE/feature-request.md @@ -6,15 +6,16 @@ about: Tell us about a new feature that would make Mythril better ## Description -Replace this text with a short description of the feature. + ## Background -Replace this text with any additional background for the -feature, for example: user scenarios, or the value of the feature. + ## Tests -_This section is optional._ + + From 50cab170a8f12800e251ed81f79f87632d2af7c2 Mon Sep 17 00:00:00 2001 From: Dominik Muhs Date: Sun, 2 Sep 2018 14:28:37 +0200 Subject: [PATCH 6/8] Remove redundant paragraph tag --- mythril/analysis/templates/callgraph.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/templates/callgraph.html b/mythril/analysis/templates/callgraph.html index e9b8f933..3536fd48 100644 --- a/mythril/analysis/templates/callgraph.html +++ b/mythril/analysis/templates/callgraph.html @@ -38,7 +38,7 @@

{{ title }}

-


+