Skip to content

Commit

Permalink
Updated tests and spotlessApply
Browse files Browse the repository at this point in the history
  • Loading branch information
@merendamattia
merendamattia committed Feb 23, 2024
1 parent 1034ba8 commit b653dc7
Show file tree
Hide file tree
Showing 18 changed files with 104 additions and 103 deletions.
6 changes: 3 additions & 3 deletions evm-testcases/cfs/sar/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,14 +3,14 @@
"files" : [ "report.json", "untyped_program.evm-testcases_cfs_sar_sar_eth.sol().json" ],
"info" : {
"cfgs" : "1",
"duration" : "6ms",
"end" : "2024-02-08T10:17:06.574+01:00",
"duration" : "5ms",
"end" : "2024-02-23T10:57:38.719+01:00",
"expressions" : "6",
"files" : "1",
"globals" : "0",
"members" : "1",
"programs" : "1",
"start" : "2024-02-08T10:17:06.568+01:00",
"start" : "2024-02-23T10:57:38.714+01:00",
"statements" : "11",
"units" : "0",
"version" : "0.1b8",
Expand Down
2 changes: 1 addition & 1 deletion evm-testcases/cfs/sar/untyped_program.evm-testcases_cfs_sar_sar_eth.sol().json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"name":"untyped program::evm-testcases/cfs/sar/sar_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x02"},{"id":1,"text":"0x02"},{"id":2,"subNodes":[3],"text":"PUSH1 0x01"},{"id":3,"text":"0x01"},{"id":4,"text":"SAR"},{"id":5,"subNodes":[6],"text":"PUSH1 0x01"},{"id":6,"text":"0x01"},{"id":7,"text":"EQ"},{"id":8,"subNodes":[9],"text":"PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0"},{"id":9,"text":"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0"},{"id":10,"subNodes":[11],"text":"PUSH1 0x04"},{"id":11,"text":"0x04"},{"id":12,"text":"SAR"},{"id":13,"subNodes":[14],"text":"PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"id":14,"text":"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"id":15,"text":"EQ"},{"id":16,"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":"SequentialEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":12,"kind":"SequentialEdge"},{"sourceId":12,"destId":13,"kind":"SequentialEdge"},{"sourceId":13,"destId":15,"kind":"SequentialEdge"},{"sourceId":15,"destId":16,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [2]], memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_], memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [2], [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [2]], memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["sar 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639920]], memory: _|_, mu_i: [0] }"}}},{"nodeId":9,"description":{"expressions":["\"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":10,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639920], [4]], memory: _|_, mu_i: [0] }"}}},{"nodeId":11,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639920]], memory: _|_, mu_i: [0] }"}}},{"nodeId":12,"description":{"expressions":["sar 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639935]], memory: _|_, mu_i: [0] }"}}},{"nodeId":13,"description":{"expressions":["push \"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639935], [115792089237316195423570985008687907853269984665640564039457584007913129639935]], memory: _|_, mu_i: [0] }"}}},{"nodeId":14,"description":{"expressions":["\"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [115792089237316195423570985008687907853269984665640564039457584007913129639935]], memory: _|_, mu_i: [0] }"}}},{"nodeId":15,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, [1], [1]], memory: _|_, mu_i: [0] }"}}},{"nodeId":16,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stack: [_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_], memory: _|_, mu_i: [0] }"}}}]}
{"name":"untyped program::evm-testcases/cfs/sar/sar_eth.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x02"},{"id":1,"text":"0x02"},{"id":2,"subNodes":[3],"text":"PUSH1 0x01"},{"id":3,"text":"0x01"},{"id":4,"text":"SAR"},{"id":5,"subNodes":[6],"text":"PUSH1 0x01"},{"id":6,"text":"0x01"},{"id":7,"text":"EQ"},{"id":8,"subNodes":[9],"text":"PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0"},{"id":9,"text":"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0"},{"id":10,"subNodes":[11],"text":"PUSH1 0x04"},{"id":11,"text":"0x04"},{"id":12,"text":"SAR"},{"id":13,"subNodes":[14],"text":"PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"id":14,"text":"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"},{"id":15,"text":"EQ"},{"id":16,"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":"SequentialEdge"},{"sourceId":8,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":12,"kind":"SequentialEdge"},{"sourceId":12,"destId":13,"kind":"SequentialEdge"},{"sourceId":13,"destId":15,"kind":"SequentialEdge"},{"sourceId":15,"destId":16,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[2]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":1,"description":{"expressions":["\"0x02\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":2,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[2], [1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":3,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[2]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":4,"description":{"expressions":["sar 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":5,"description":{"expressions":["push \"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":6,"description":{"expressions":["\"0x01\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":7,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":8,"description":{"expressions":["push \"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639920]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":9,"description":{"expressions":["\"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":10,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639920], [4]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":11,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639920]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":12,"description":{"expressions":["sar 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639935]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":13,"description":{"expressions":["push \"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639935], [115792089237316195423570985008687907853269984665640564039457584007913129639935]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":14,"description":{"expressions":["\"0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [115792089237316195423570985008687907853269984665640564039457584007913129639935]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":15,"description":{"expressions":["eq 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{[1], [1]}}, memory: _|_, mu_i: [0] }"}}},{"nodeId":16,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: {{}}, memory: _|_, mu_i: [0] }"}}}]}
6 changes: 3 additions & 3 deletions evm-testcases/cfs/sdiv/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,14 +3,14 @@
"files" : [ "report.json", "untyped_program.evm-testcases_cfs_sdiv_sdiv_eth.sol().json" ],
"info" : {
"cfgs" : "1",
"duration" : "3ms",
"end" : "2024-02-08T10:17:06.738+01:00",
"duration" : "7ms",
"end" : "2024-02-23T10:56:38.236+01:00",
"expressions" : "6",
"files" : "1",
"globals" : "0",
"members" : "1",
"programs" : "1",
"start" : "2024-02-08T10:17:06.735+01:00",
"start" : "2024-02-23T10:56:38.229+01:00",
"statements" : "11",
"units" : "0",
"version" : "0.1b8",
Expand Down
Loading

0 comments on commit b653dc7

Please sign in to comment.