Updated tests

evm-testcases/cfs/if/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_if_if_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "3ms",
-    "end" : "2024-02-23T10:20:51.107+01:00",
+    "duration" : "4ms",
+    "end" : "2024-03-03T17:16:35.436+01:00",
     "expressions" : "5",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-02-23T10:20:51.104+01:00",
+    "start" : "2024-03-03T17:16:35.432+01:00",
     "statements" : "9",
     "units" : "0",
     "version" : "0.1b8",

evm-testcases/cfs/if/untyped_program.evm-testcases_cfs_if_if_eth.sol().json

@@ -1 +1 @@
-{"name":"untyped program::evm-testcases/cfs/if/if_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x01"},{"id":1,"text":"0x01"},{"id":2,"subNodes":[3],"text":"PUSH1 0x02"},{"id":3,"text":"0x02"},{"id":4,"text":"EQ"},{"id":5,"subNodes":[6],"text":"PUSH1 0x0A"},{"id":6,"text":"0x0A"},{"id":7,"text":"JUMPI"},{"id":8,"subNodes":[9],"text":"PUSH1 0x03"},{"id":9,"text":"0x03"},{"id":10,"text":"JUMPDEST"},{"id":11,"subNodes":[12],"text":"PUSH1 0x04"},{"id":12,"text":"0x04"},{"id":13,"text":"ret"}],"edges":[{"sourceId":0,"destId":2,"kind":"SequentialEdge"},{"sourceId":2,"destId":4,"kind":"SequentialEdge"},{"sourceId":4,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":7,"kind":"SequentialEdge"},{"sourceId":7,"destId":8,"kind":"FalseEdge"},{"sourceId":7,"destId":10,"kind":"TrueEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":11,"kind":"SequentialEdge"},{"sourceId":11,"destId":13,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [2]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0], [10]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["jumpi [0]"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3], [4]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}}]}
+{"name":"untyped program::evm-testcases/cfs/if/if_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x01"},{"id":1,"text":"0x01"},{"id":2,"subNodes":[3],"text":"PUSH1 0x02"},{"id":3,"text":"0x02"},{"id":4,"text":"EQ"},{"id":5,"subNodes":[6],"text":"PUSH1 0x0A"},{"id":6,"text":"0x0A"},{"id":7,"text":"JUMPI"},{"id":8,"subNodes":[9],"text":"PUSH1 0x03"},{"id":9,"text":"0x03"},{"id":10,"text":"JUMPDEST"},{"id":11,"subNodes":[12],"text":"PUSH1 0x04"},{"id":12,"text":"0x04"},{"id":13,"text":"ret"}],"edges":[{"sourceId":0,"destId":2,"kind":"SequentialEdge"},{"sourceId":2,"destId":4,"kind":"SequentialEdge"},{"sourceId":4,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":7,"kind":"SequentialEdge"},{"sourceId":7,"destId":8,"kind":"FalseEdge"},{"sourceId":7,"destId":10,"kind":"TrueEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":11,"kind":"SequentialEdge"},{"sourceId":11,"destId":13,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [2]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0], [10]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[0]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([],[{}])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3], [4]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[3]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}}]}

evm-testcases/cfs/if_else/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_if_else_if_else_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "3ms",
-    "end" : "2024-02-23T10:20:51.163+01:00",
+    "duration" : "10ms",
+    "end" : "2024-03-03T17:16:35.381+01:00",
     "expressions" : "7",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-02-23T10:20:51.160+01:00",
+    "start" : "2024-03-03T17:16:35.371+01:00",
     "statements" : "13",
     "units" : "0",
     "version" : "0.1b8",

evm-testcases/cfs/if_else/untyped_program.evm-testcases_cfs_if_else_if_else_eth.sol().json

@@ -1 +1 @@
-{"name":"untyped program::evm-testcases/cfs/if_else/if_else_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x05"},{"id":1,"text":"0x05"},{"id":2,"subNodes":[3],"text":"PUSH1 0x05"},{"id":3,"text":"0x05"},{"id":4,"text":"EQ"},{"id":5,"subNodes":[6],"text":"PUSH1 0x0D"},{"id":6,"text":"0x0D"},{"id":7,"text":"JUMPI"},{"id":8,"subNodes":[9],"text":"PUSH1 0x00"},{"id":9,"text":"0x00"},{"id":10,"subNodes":[11],"text":"PUSH1 0x10"},{"id":11,"text":"0x10"},{"id":12,"text":"JUMP"},{"id":13,"text":"JUMPDEST"},{"id":14,"subNodes":[15],"text":"PUSH1 0x01"},{"id":15,"text":"0x01"},{"id":16,"text":"JUMPDEST"},{"id":17,"subNodes":[18],"text":"PUSH1 0x07"},{"id":18,"text":"0x07"},{"id":19,"text":"ret"}],"edges":[{"sourceId":0,"destId":2,"kind":"SequentialEdge"},{"sourceId":2,"destId":4,"kind":"SequentialEdge"},{"sourceId":4,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":7,"kind":"SequentialEdge"},{"sourceId":7,"destId":8,"kind":"FalseEdge"},{"sourceId":7,"destId":13,"kind":"TrueEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":12,"kind":"SequentialEdge"},{"sourceId":12,"destId":16,"kind":"SequentialEdge"},{"sourceId":13,"destId":14,"kind":"SequentialEdge"},{"sourceId":14,"destId":16,"kind":"SequentialEdge"},{"sourceId":16,"destId":17,"kind":"SequentialEdge"},{"sourceId":17,"destId":19,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5], [5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0D\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [13]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x0D\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["jumpi [1]"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0x00\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":9,"description":{"expressions":["\"0x00\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":10,"description":{"expressions":["push \"0x10\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":11,"description":{"expressions":["\"0x10\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":12,"description":{"expressions":["jump 1"],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":13,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":14,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":15,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":16,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":17,"description":{"expressions":["push \"0x07\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [7]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":18,"description":{"expressions":["\"0x07\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":19,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}}]}
+{"name":"untyped program::evm-testcases/cfs/if_else/if_else_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x05"},{"id":1,"text":"0x05"},{"id":2,"subNodes":[3],"text":"PUSH1 0x05"},{"id":3,"text":"0x05"},{"id":4,"text":"EQ"},{"id":5,"subNodes":[6],"text":"PUSH1 0x0D"},{"id":6,"text":"0x0D"},{"id":7,"text":"JUMPI"},{"id":8,"subNodes":[9],"text":"PUSH1 0x00"},{"id":9,"text":"0x00"},{"id":10,"subNodes":[11],"text":"PUSH1 0x10"},{"id":11,"text":"0x10"},{"id":12,"text":"JUMP"},{"id":13,"text":"JUMPDEST"},{"id":14,"subNodes":[15],"text":"PUSH1 0x01"},{"id":15,"text":"0x01"},{"id":16,"text":"JUMPDEST"},{"id":17,"subNodes":[18],"text":"PUSH1 0x07"},{"id":18,"text":"0x07"},{"id":19,"text":"ret"}],"edges":[{"sourceId":0,"destId":2,"kind":"SequentialEdge"},{"sourceId":2,"destId":4,"kind":"SequentialEdge"},{"sourceId":4,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":7,"kind":"SequentialEdge"},{"sourceId":7,"destId":8,"kind":"FalseEdge"},{"sourceId":7,"destId":13,"kind":"TrueEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":12,"kind":"SequentialEdge"},{"sourceId":12,"destId":16,"kind":"SequentialEdge"},{"sourceId":13,"destId":14,"kind":"SequentialEdge"},{"sourceId":14,"destId":16,"kind":"SequentialEdge"},{"sourceId":16,"destId":17,"kind":"SequentialEdge"},{"sourceId":17,"destId":19,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5], [5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x05\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[5]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0D\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [13]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x0D\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([{}],[])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0x00\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":9,"description":{"expressions":["\"0x00\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":10,"description":{"expressions":["push \"0x10\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":11,"description":{"expressions":["\"0x10\""],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":12,"description":{"expressions":["jump 1"],"state":{"heap":"monolith","type":"_|_","value":"_|_"}}},{"nodeId":13,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":14,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":15,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":16,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":17,"description":{"expressions":["push \"0x07\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [7]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":18,"description":{"expressions":["\"0x07\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":19,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}}]}

evm-testcases/cfs/if_else_npbj/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_if_else_npbj_if_else_npbj_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "3ms",
-    "end" : "2024-02-23T10:20:51.134+01:00",
+    "duration" : "6ms",
+    "end" : "2024-03-03T17:16:35.422+01:00",
     "expressions" : "9",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-02-23T10:20:51.131+01:00",
+    "start" : "2024-03-03T17:16:35.416+01:00",
     "statements" : "17",
     "units" : "0",
     "version" : "0.1b8",