Updated tests, spotlessApply and minor changes

lisa-analyzer · Apr 22, 2024 · 4103bbe · 4103bbe
1 parent 8584f7a
commit 4103bbe
Show file tree

Hide file tree

Showing 51 changed files with 116 additions and 116 deletions.
diff --git a/evm-testcases/cfs/add/report.json b/evm-testcases/cfs/add/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_add_add_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "144ms",
-    "end" : "2024-03-04T16:42:40.686+01:00",
+    "duration" : "2ms",
+    "end" : "2024-04-22T09:02:25.642+02:00",
     "expressions" : "6",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:40.542+01:00",
+    "start" : "2024-04-22T09:02:25.640+02:00",
     "statements" : "11",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/add/untyped_program.evm-testcases_cfs_add_add_eth.sol().json b/evm-testcases/cfs/add/untyped_program.evm-testcases_cfs_add_add_eth.sol().json
diff --git a/evm-testcases/cfs/addmod/report.json b/evm-testcases/cfs/addmod/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_addmod_addmod_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "2ms",
-    "end" : "2024-03-04T16:42:41.059+01:00",
+    "duration" : "5ms",
+    "end" : "2024-04-22T09:02:25.375+02:00",
     "expressions" : "8",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:41.057+01:00",
+    "start" : "2024-04-22T09:02:25.370+02:00",
     "statements" : "13",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/addmod/untyped_program.evm-testcases_cfs_addmod_addmod_eth.sol().json b/evm-testcases/cfs/addmod/untyped_program.evm-testcases_cfs_addmod_addmod_eth.sol().json
diff --git a/evm-testcases/cfs/and/report.json b/evm-testcases/cfs/and/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_and_and_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "9ms",
-    "end" : "2024-03-04T16:42:40.750+01:00",
+    "duration" : "4ms",
+    "end" : "2024-04-22T09:02:25.633+02:00",
     "expressions" : "12",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:40.741+01:00",
+    "start" : "2024-04-22T09:02:25.629+02:00",
     "statements" : "21",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/and/untyped_program.evm-testcases_cfs_and_and_eth.sol().json b/evm-testcases/cfs/and/untyped_program.evm-testcases_cfs_and_and_eth.sol().json
diff --git a/evm-testcases/cfs/byte/report.json b/evm-testcases/cfs/byte/report.json
@@ -4,13 +4,13 @@
   "info" : {
     "cfgs" : "1",
     "duration" : "4ms",
-    "end" : "2024-03-04T16:42:40.967+01:00",
+    "end" : "2024-04-22T09:02:25.486+02:00",
     "expressions" : "9",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:40.963+01:00",
+    "start" : "2024-04-22T09:02:25.482+02:00",
     "statements" : "16",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/byte/untyped_program.evm-testcases_cfs_byte_byte_eth.sol().json b/evm-testcases/cfs/byte/untyped_program.evm-testcases_cfs_byte_byte_eth.sol().json
diff --git a/evm-testcases/cfs/div/report.json b/evm-testcases/cfs/div/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_div_div_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "7ms",
-    "end" : "2024-03-04T16:42:40.782+01:00",
+    "duration" : "3ms",
+    "end" : "2024-04-22T09:02:25.624+02:00",
     "expressions" : "6",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:40.775+01:00",
+    "start" : "2024-04-22T09:02:25.621+02:00",
     "statements" : "11",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/div/untyped_program.evm-testcases_cfs_div_div_eth.sol().json b/evm-testcases/cfs/div/untyped_program.evm-testcases_cfs_div_div_eth.sol().json
diff --git a/evm-testcases/cfs/if/report.json b/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" : "4ms",
-    "end" : "2024-03-04T16:42:41.003+01:00",
+    "duration" : "3ms",
+    "end" : "2024-04-22T09:02:25.450+02:00",
     "expressions" : "5",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:40.999+01:00",
+    "start" : "2024-04-22T09:02:25.447+02:00",
     "statements" : "9",
     "units" : "0",
     "version" : "0.1b8",

diff --git a/evm-testcases/cfs/if/untyped_program.evm-testcases_cfs_if_if_eth.sol().json b/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], storage: _|_ }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [2]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0], [10]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([],[[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3], [4]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}}]}
+{"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], storage: _|_ }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [2]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0], [10]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [0]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([],[[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3], [4]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [3]]], memory: _|_, mu_i: [0], storage: _|_ }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_]], memory: _|_, mu_i: [0], storage: _|_ }"}}}]}
diff --git a/evm-testcases/cfs/if_else/report.json b/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" : "2ms",
-    "end" : "2024-03-04T16:42:41.068+01:00",
+    "duration" : "8ms",
+    "end" : "2024-04-22T09:02:25.357+02:00",
     "expressions" : "7",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-03-04T16:42:41.066+01:00",
+    "start" : "2024-04-22T09:02:25.349+02:00",
     "statements" : "13",
     "units" : "0",
     "version" : "0.1b8",
Original file line number	Diff line number	Diff line change
		@@ -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], storage: _\|_ }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [1], [2]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [1]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0], [10]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([],[[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3], [4]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}}]}
		{"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], storage: _\|_ }"}}},{"nodeId":1,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":2,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [1], [2]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":3,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [1]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":4,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":5,"description":{"expressions":["push \"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0], [10]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":6,"description":{"expressions":["\"0x0A\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [0]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":7,"description":{"expressions":["jumpi ([],[[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]])"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":8,"description":{"expressions":["push \"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":9,"description":{"expressions":["\"0x03\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":10,"description":{"expressions":["jumpdest 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":11,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3], [4]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":12,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, [3]]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}},{"nodeId":13,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_, _\|_]], memory: _\|_, mu_i: [0], storage: _\|_ }"}}}]}