Reworked cron files structure

lisa-analyzer · Dec 5, 2023 · 2ce6bef · 2ce6bef
1 parent c98ea15
commit 2ce6bef
Show file tree

Hide file tree

Showing 329 changed files with 1,989 additions and 2,314 deletions.
diff --git a/lisa/lisa-analyses/imp-testcases/bricks/program.imp b/lisa/lisa-analyses/imp-testcases/bricks/program.imp
diff --git a/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m1(bricks__this).json b/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m1(bricks__this).json
diff --git a/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m2(bricks__this,_untyped_x).json b/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m2(bricks__this,_untyped_x).json
diff --git a/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m3(bricks__this,_untyped_x).json b/lisa/lisa-analyses/imp-testcases/bricks/untyped_bricks.m3(bricks__this,_untyped_x).json
diff --git a/lisa/lisa-analyses/imp-testcases/char-inclusion/program.imp b/lisa/lisa-analyses/imp-testcases/char-inclusion/program.imp
diff --git a/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m1(ci__this).json b/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m1(ci__this).json
diff --git a/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m2(ci__this,_untyped_x).json b/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m2(ci__this,_untyped_x).json
diff --git a/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m3(ci__this,_untyped_x).json b/lisa/lisa-analyses/imp-testcases/char-inclusion/untyped_ci.m3(ci__this,_untyped_x).json
diff --git a/...ble-expressions/available-expressions.imp → ...analyses/imp-testcases/dataflow/ae/ae.imp b/...ble-expressions/available-expressions.imp → ...analyses/imp-testcases/dataflow/ae/ae.imp
diff --git a/...stcases/available-expressions/report.json → ...ses/imp-testcases/dataflow/ae/report.json b/...stcases/available-expressions/report.json → ...ses/imp-testcases/dataflow/ae/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "untyped_ae.f0(ae__this).json", "untyped_ae.f1(ae__this).json", "untyped_ae.f2(ae__this).json", "untyped_ae.f3(ae__this).json", "untyped_ae.f4(ae__this).json" ],
   "info" : {
     "cfgs" : "5",
-    "duration" : "1s 708ms",
-    "end" : "2023-09-07T11:45:37.118+02:00",
+    "duration" : "476ms",
+    "end" : "2023-12-05T13:13:09.395+01:00",
     "expressions" : "151",
     "files" : "5",
     "globals" : "0",
     "members" : "5",
     "programs" : "1",
-    "start" : "2023-09-07T11:45:35.410+02:00",
+    "start" : "2023-12-05T13:13:08.919+01:00",
     "statements" : "54",
     "units" : "1",
     "version" : "0.1b8",
@@ -33,6 +33,6 @@
     "syntacticChecks" : "",
     "useWideningPoints" : "true",
     "wideningThreshold" : "5",
-    "workdir" : "test-outputs/available-expressions"
+    "workdir" : "test-outputs/dataflow/ae"
   }
 }
diff --git a/...-expressions/untyped_ae.f0(ae__this).json → .../dataflow/ae/untyped_ae.f0(ae__this).json b/...-expressions/untyped_ae.f0(ae__this).json → .../dataflow/ae/untyped_ae.f0(ae__this).json
diff --git a/...-expressions/untyped_ae.f1(ae__this).json → .../dataflow/ae/untyped_ae.f1(ae__this).json b/...-expressions/untyped_ae.f1(ae__this).json → .../dataflow/ae/untyped_ae.f1(ae__this).json
diff --git a/...-expressions/untyped_ae.f2(ae__this).json → .../dataflow/ae/untyped_ae.f2(ae__this).json b/...-expressions/untyped_ae.f2(ae__this).json → .../dataflow/ae/untyped_ae.f2(ae__this).json
diff --git a/...-expressions/untyped_ae.f3(ae__this).json → .../dataflow/ae/untyped_ae.f3(ae__this).json b/...-expressions/untyped_ae.f3(ae__this).json → .../dataflow/ae/untyped_ae.f3(ae__this).json
diff --git a/...-expressions/untyped_ae.f4(ae__this).json → .../dataflow/ae/untyped_ae.f4(ae__this).json b/...-expressions/untyped_ae.f4(ae__this).json → .../dataflow/ae/untyped_ae.f4(ae__this).json
diff --git a/...t-propagation-df/constant-propagation.imp → ...analyses/imp-testcases/dataflow/cp/cp.imp b/...t-propagation-df/constant-propagation.imp → ...analyses/imp-testcases/dataflow/cp/cp.imp