lisa-analyzer · bianchifilippo · Nov 4, 2025 · Nov 4, 2025 · Nov 4, 2025 · Nov 4, 2025
diff --git a/jlisa/java-testcases/2dim-array/report.json b/jlisa/java-testcases/2dim-array/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "3ms",
-    "end" : "2025-11-10T18:23:02.789+01:00",
+    "duration" : "4ms",
+    "end" : "2025-11-13T12:27:58.210+01:00",
     "expressions" : "21",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:02.786+01:00",
+    "start" : "2025-11-13T12:27:58.206+01:00",
     "statements" : "6",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/abstract-method/report.json b/jlisa/java-testcases/abstract-method/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_MainClass.MainClass(MainClass__this)_1707440448.json", "void_MainClass.abstractMethod(MainClass__this)_1707429908.json", "void_MainClass.main(java.lang.String_[]__args).json", "void_MyAbstractClass.MyAbstractClass(MyAbstractClass__this)_318915975.json" ],
   "info" : {
     "cfgs" : "5",
-    "duration" : "3ms",
-    "end" : "2025-11-10T18:23:00.309+01:00",
+    "duration" : "6ms",
+    "end" : "2025-11-13T12:28:01.093+01:00",
     "expressions" : "7",
     "files" : "4",
     "globals" : "28",
-    "members" : "212",
+    "members" : "239",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:00.306+01:00",
+    "start" : "2025-11-13T12:28:01.087+01:00",
     "statements" : "9",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/array-with-initializer/report.json b/jlisa/java-testcases/array-with-initializer/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "2ms",
-    "end" : "2025-11-10T18:23:02.704+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:58.077+01:00",
     "expressions" : "24",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:02.702+01:00",
+    "start" : "2025-11-13T12:27:58.074+01:00",
     "statements" : "7",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/array/report.json b/jlisa/java-testcases/array/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "1ms",
-    "end" : "2025-11-10T18:23:02.620+01:00",
+    "duration" : "4ms",
+    "end" : "2025-11-13T12:27:57.944+01:00",
     "expressions" : "8",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:02.619+01:00",
+    "start" : "2025-11-13T12:27:57.940+01:00",
     "statements" : "5",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/asg-operators/report.json b/jlisa/java-testcases/asg-operators/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "3ms",
-    "end" : "2025-11-10T18:23:03.066+01:00",
+    "duration" : "2ms",
+    "end" : "2025-11-13T12:27:57.429+01:00",
     "expressions" : "23",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:03.063+01:00",
+    "start" : "2025-11-13T12:27:57.427+01:00",
     "statements" : "9",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/byte/report.json b/jlisa/java-testcases/byte/report.json
@@ -4,13 +4,13 @@
   "info" : {
     "cfgs" : "2",
     "duration" : "2ms",
-    "end" : "2025-11-10T18:23:02.038+01:00",
+    "end" : "2025-11-13T12:27:58.624+01:00",
     "expressions" : "6",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:02.036+01:00",
+    "start" : "2025-11-13T12:27:58.622+01:00",
     "statements" : "5",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/cast/report.json b/jlisa/java-testcases/cast/report.json
@@ -4,13 +4,13 @@
   "info" : {
     "cfgs" : "2",
     "duration" : "3ms",
-    "end" : "2025-11-10T18:23:03.149+01:00",
+    "end" : "2025-11-13T12:27:55.737+01:00",
     "expressions" : "15",
     "files" : "1",
     "globals" : "28",
-    "members" : "216",
+    "members" : "243",
     "programs" : "1",
-    "start" : "2025-11-10T18:23:03.146+01:00",
+    "start" : "2025-11-13T12:27:55.734+01:00",
     "statements" : "8",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/character/report.json b/jlisa/java-testcases/character/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "115ms",
-    "end" : "2025-11-10T17:10:06.054+01:00",
+    "duration" : "6ms",
+    "end" : "2025-11-13T12:27:58.765+01:00",
     "expressions" : "46",
     "files" : "1",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T17:10:05.939+01:00",
+    "start" : "2025-11-13T12:27:58.759+01:00",
     "statements" : "17",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/class-init/class-init01/report.json b/jlisa/java-testcases/class-init/class-init01/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json", "void_MyClass.MyClass(MyClass__this)_1707432450.json", "void_MyClass.MyClass_clinit()_1707432450.json" ],
   "info" : {
     "cfgs" : "4",
-    "duration" : "106ms",
-    "end" : "2025-11-10T18:18:05.914+01:00",
+    "duration" : "6ms",
+    "end" : "2025-11-13T12:27:55.324+01:00",
     "expressions" : "17",
     "files" : "3",
     "globals" : "30",
-    "members" : "211",
+    "members" : "238",
     "programs" : "1",
-    "start" : "2025-11-10T18:18:05.808+01:00",
+    "start" : "2025-11-13T12:27:55.318+01:00",
     "statements" : "14",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/class-init/class-init02/report.json b/jlisa/java-testcases/class-init/class-init02/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_A.A_clinit()_1707428606.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "5",
-    "duration" : "7ms",
-    "end" : "2025-11-10T18:18:06.169+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:55.470+01:00",
     "expressions" : "9",
     "files" : "2",
     "globals" : "29",
-    "members" : "212",
+    "members" : "239",
     "programs" : "1",
-    "start" : "2025-11-10T18:18:06.162+01:00",
+    "start" : "2025-11-13T12:27:55.467+01:00",
     "statements" : "12",
     "units" : "49",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/class-init/class-init03/report.json b/jlisa/java-testcases/class-init/class-init03/report.json
@@ -3,14 +3,14 @@
   "files" : [ "int_A.foo()_1707430528.json", "report.json", "void_A.A_clinit()_1707430528.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "6",
-    "duration" : "9ms",
-    "end" : "2025-11-10T18:18:06.284+01:00",
+    "duration" : "4ms",
+    "end" : "2025-11-13T12:27:55.599+01:00",
     "expressions" : "8",
     "files" : "3",
     "globals" : "29",
-    "members" : "213",
+    "members" : "240",
     "programs" : "1",
-    "start" : "2025-11-10T18:18:06.275+01:00",
+    "start" : "2025-11-13T12:27:55.595+01:00",
     "statements" : "12",
     "units" : "49",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/default-constructor/report.json b/jlisa/java-testcases/constructors/default-constructor/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_B.B(B__this)_1707430528.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "4ms",
-    "end" : "2025-11-10T17:07:43.452+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:55.185+01:00",
     "expressions" : "7",
     "files" : "2",
     "globals" : "29",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:43.448+01:00",
+    "start" : "2025-11-13T12:27:55.182+01:00",
     "statements" : "7",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/super-constructor/test-1/report.json b/jlisa/java-testcases/constructors/super-constructor/test-1/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_B.B(B__this)_1707430528.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "7ms",
-    "end" : "2025-11-10T17:07:43.002+01:00",
+    "duration" : "5ms",
+    "end" : "2025-11-13T12:27:54.621+01:00",
     "expressions" : "4",
     "files" : "2",
     "globals" : "28",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:42.995+01:00",
+    "start" : "2025-11-13T12:27:54.616+01:00",
     "statements" : "6",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/super-constructor/test-2/report.json b/jlisa/java-testcases/constructors/super-constructor/test-2/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_B.B(B__this,_int_x)_1707430528.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "6ms",
-    "end" : "2025-11-10T17:07:43.126+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:54.754+01:00",
     "expressions" : "11",
     "files" : "2",
     "globals" : "29",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:43.120+01:00",
+    "start" : "2025-11-13T12:27:54.751+01:00",
     "statements" : "8",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/super-constructor/test-3/report.json b/jlisa/java-testcases/constructors/super-constructor/test-3/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_A.A(A__this)_916394768.json", "void_B.B(B__this)_1707430528.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "4",
-    "duration" : "10ms",
-    "end" : "2025-11-10T17:07:43.247+01:00",
+    "duration" : "5ms",
+    "end" : "2025-11-13T12:27:54.894+01:00",
     "expressions" : "14",
     "files" : "3",
     "globals" : "29",
-    "members" : "211",
+    "members" : "238",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:43.237+01:00",
+    "start" : "2025-11-13T12:27:54.889+01:00",
     "statements" : "11",
     "units" : "49",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/super-constructor/test-4/report.json b/jlisa/java-testcases/constructors/super-constructor/test-4/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_A.A(A__this,_int_x)_1963545860.json", "void_B.B(B__this)_1707430528.json", "void_B.B(B__this,_int_x)_-968920424.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "6",
-    "duration" : "9ms",
-    "end" : "2025-11-10T17:07:43.351+01:00",
+    "duration" : "6ms",
+    "end" : "2025-11-13T12:27:55.035+01:00",
     "expressions" : "22",
     "files" : "4",
     "globals" : "29",
-    "members" : "213",
+    "members" : "240",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:43.342+01:00",
+    "start" : "2025-11-13T12:27:55.029+01:00",
     "statements" : "16",
     "units" : "49",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/constructors/this-constructors/report.json b/jlisa/java-testcases/constructors/this-constructors/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_B.B(B__this)_-968891501.json", "void_B.B(B__this)_-968892462.json", "void_B.B(B__this,_int_x)_1707431489.json", "void_B.B(B__this,_int_x)_1707431520.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "4",
-    "duration" : "117ms",
-    "end" : "2025-11-10T17:07:42.720+01:00",
+    "duration" : "13ms",
+    "end" : "2025-11-13T12:27:54.462+01:00",
     "expressions" : "21",
     "files" : "5",
     "globals" : "30",
-    "members" : "211",
+    "members" : "238",
     "programs" : "1",
-    "start" : "2025-11-10T17:07:42.603+01:00",
+    "start" : "2025-11-13T12:27:54.449+01:00",
     "statements" : "13",
     "units" : "48",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/control-flow-structures/break-continue/report.json b/jlisa/java-testcases/control-flow-structures/break-continue/report.json
@@ -4,13 +4,13 @@
   "info" : {
     "cfgs" : "2",
     "duration" : "3ms",
-    "end" : "2025-11-10T18:16:05.012+01:00",
+    "end" : "2025-11-13T12:27:53.489+01:00",
     "expressions" : "45",
     "files" : "2",
     "globals" : "28",
-    "members" : "209",
+    "members" : "236",
     "programs" : "1",
-    "start" : "2025-11-10T18:16:05.009+01:00",
+    "start" : "2025-11-13T12:27:53.486+01:00",
     "statements" : "27",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/control-flow-structures/do-while/report.json b/jlisa/java-testcases/control-flow-structures/do-while/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.Main(Main__this)_cfg.json", "void_Main.emptyStructure()_cfg.json", "void_Main.main(java.lang.String_[]__args)_cfg.json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "4ms",
-    "end" : "2025-11-10T18:16:04.921+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:53.360+01:00",
     "expressions" : "13",
     "files" : "3",
     "globals" : "28",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T18:16:04.917+01:00",
+    "start" : "2025-11-13T12:27:53.357+01:00",
     "statements" : "10",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/control-flow-structures/for/for/report.json b/jlisa/java-testcases/control-flow-structures/for/for/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_ForLoopsExample1.ForLoopsExample1(ForLoopsExample1__this)_cfg.json", "void_ForLoopsExample1.emptyStructures()_cfg.json", "void_ForLoopsExample1.main(java.lang.String_[]__args)_cfg.json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "5ms",
-    "end" : "2025-11-10T18:16:04.624+01:00",
+    "duration" : "2ms",
+    "end" : "2025-11-13T12:27:52.942+01:00",
     "expressions" : "18",
     "files" : "3",
     "globals" : "28",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T18:16:04.619+01:00",
+    "start" : "2025-11-13T12:27:52.940+01:00",
     "statements" : "12",
     "units" : "47",
     "version" : "0.1",

diff --git a/jlisa/java-testcases/control-flow-structures/for/foreach/report.json b/jlisa/java-testcases/control-flow-structures/for/foreach/report.json
@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_ForLoopsExample2.ForLoopsExample2(ForLoopsExample2__this)_cfg.json", "void_ForLoopsExample2.emptyStructures(java.lang.String_[]__args)_cfg.json", "void_ForLoopsExample2.main(java.lang.String_[]__args)_cfg.json" ],
   "info" : {
     "cfgs" : "3",
-    "duration" : "5ms",
-    "end" : "2025-11-10T18:16:04.725+01:00",
+    "duration" : "3ms",
+    "end" : "2025-11-13T12:27:53.082+01:00",
     "expressions" : "21",
     "files" : "3",
     "globals" : "28",
-    "members" : "210",
+    "members" : "237",
     "programs" : "1",
-    "start" : "2025-11-10T18:16:04.720+01:00",
+    "start" : "2025-11-13T12:27:53.079+01:00",
     "statements" : "11",
     "units" : "47",
     "version" : "0.1",