Updated tests with stack-size 200 and stack-set-size 150

lisa-analyzer · Feb 24, 2024 · 838b0d2 · 838b0d2
1 parent 67fcae4
commit 838b0d2
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/evm-testcases/cfs/while/report.json b/evm-testcases/cfs/while/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_program.evm-testcases_cfs_while_while_eth.sol().json" ],
   "info" : {
     "cfgs" : "1",
-    "duration" : "1s 84ms",
-    "end" : "2024-02-23T10:26:44.679+01:00",
+    "duration" : "6s 180ms",
+    "end" : "2024-02-24T08:56:59.718+01:00",
     "expressions" : "6",
     "files" : "1",
     "globals" : "0",
     "members" : "1",
     "programs" : "1",
-    "start" : "2024-02-23T10:26:43.595+01:00",
+    "start" : "2024-02-24T08:56:53.538+01:00",
     "statements" : "17",
     "units" : "0",
     "version" : "0.1b8",