From dd08a8dd37c5cd1fcaa8f2fd2530a0b00c928417 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 27 Aug 2018 22:36:38 +0530 Subject: [PATCH] Add the constructor test file --- .../constructor_assert.sol.json | 472 ++++++++++++++++++ 1 file changed, 472 insertions(+) create mode 100644 tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json diff --git a/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json b/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json new file mode 100644 index 00000000..94cfd175 --- /dev/null +++ b/tests/testdata/outputs_expected_laser_result/constructor_assert.sol.json @@ -0,0 +1,472 @@ +{ + "accounts": { + "0x0000000000000000000000000000000000000000": { + "storage": "", + "nonce": 0, + "balance": "balance", + "code": [ + { + "address": 0, + "argument": "0x80", + "opcode": "PUSH1" + }, + { + "address": 2, + "argument": "0x40", + "opcode": "PUSH1" + }, + { + "address": 4, + "opcode": "MSTORE" + }, + { + "address": 5, + "argument": "0x00", + "opcode": "PUSH1" + }, + { + "address": 7, + "opcode": "DUP1" + }, + { + "address": 8, + "opcode": "REVERT" + }, + { + "address": 9, + "opcode": "STOP" + } + ] + } + }, + "total_states": 5, + "nodes": { + "933": { + "contract_name": "unknown", + "flags": "NodeFlags()", + "constraints": [], + "function_name": "unknown", + "start_addr": 0, + "uid": 933, + "states": [ + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [], + "pc": 0, + "memsize": 0, + "stack": [] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + }, + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [], + "pc": 1, + "memsize": 0, + "stack": [ + "128" + ] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + }, + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [], + "pc": 2, + "memsize": 0, + "stack": [ + "128", + "64" + ] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + }, + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 128 + ], + "pc": 3, + "memsize": 96, + "stack": [] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + }, + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 128 + ], + "pc": 4, + "memsize": 96, + "stack": [ + "0" + ] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + }, + { + "accounts": "dict_keys(['0x0000000000000000000000000000000000000000'])", + "mstate": { + "gas": 10000000, + "memory": [ + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 0, + 128 + ], + "pc": 5, + "memsize": 96, + "stack": [ + "0", + "0" + ] + }, + "environment": { + "sender": "caller", + "callvalue": "call_value", + "origin": "origin", + "active_account": "0x0000000000000000000000000000000000000000", + "gasprice": "gas_price", + "calldata": [], + "calldata_type": "CalldataType.SYMBOLIC" + } + } + ] + } + }, + "max_depth": 22, + "edges": [] +}