diff --git a/lisa/lisa-analyses/imp-testcases/visualization/dot/report.json b/lisa/lisa-analyses/imp-testcases/visualization/dot/report.json
index 71fb5aba8..11019d98d 100644
--- a/lisa/lisa-analyses/imp-testcases/visualization/dot/report.json
+++ b/lisa/lisa-analyses/imp-testcases/visualization/dot/report.json
@@ -3,14 +3,14 @@
"files" : [ "report.json", "untyped_A.A(A__this)_-1778639473.dot", "untyped_A.getOne(A__this)_-1778621183.dot", "untyped_A.getPositive(A__this,_untyped_i)_-1778620222.dot", "untyped_A.identity(A__this,_untyped_i)_-1081452707.dot", "untyped_A.identity(A__this,_untyped_i)_-1778620129.dot", "untyped_A.identity(A__this,_untyped_i)_-1778624996.dot", "untyped_tests.helper(tests__this,_untyped_i,_untyped_dispatcher)_-1778625864.dot", "untyped_tests.main(tests__this).dot" ],
"info" : {
"cfgs" : "6",
- "duration" : "59ms",
- "end" : "2023-12-05T13:01:59.193+01:00",
+ "duration" : "406ms",
+ "end" : "2024-08-16T14:46:59.662+02:00",
"expressions" : "49",
"files" : "8",
"globals" : "0",
"members" : "6",
"programs" : "1",
- "start" : "2023-12-05T13:01:59.134+01:00",
+ "start" : "2024-08-16T14:46:59.256+02:00",
"statements" : "21",
"units" : "2",
"version" : "0.1b8",
diff --git a/lisa/lisa-analyses/imp-testcases/visualization/dot/untyped_A.A(A__this)_-1778639473.dot b/lisa/lisa-analyses/imp-testcases/visualization/dot/untyped_A.A(A__this)_-1778639473.dot
index 49afd92fb..11760b88f 100644
--- a/lisa/lisa-analyses/imp-testcases/visualization/dot/untyped_A.A(A__this)_-1778639473.dot
+++ b/lisa/lisa-analyses/imp-testcases/visualization/dot/untyped_A.A(A__this)_-1778639473.dot
@@ -1,14 +1,12 @@
-digraph {
- labelloc="t";
- label="untyped A::A(A* this)";
- "node0" [shape="rect",color="black",label=
{ expressions: [i1],
state: { heap: monolith,
type: { ['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*],
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*],
i1: [int32],
this: [A*] },
value: { i1: [0, 0] }
}
}
>];
- "node3" [shape="rect",color="black",peripheries="2",label=
{ expressions: [skip],
state: { heap: monolith,
type: { ['imp-testcases/visualization/visualization.imp':29:22]:$lisareceiver: [A*],
['imp-testcases/visualization/visualization.imp':29:22]:this: [tests*],
i1: [int32],
this: [A*] },
value: { i1: [0, 0] }
}
}
>];
- "node0" -> "node3" [color="black"];
-subgraph cluster_legend {
- label="Legend";
- style=dotted;
- node [shape=plaintext];
- "legend" [label=<
node border | gray, single |
entrypoint border | black, single |
exitpoint border | black, double |
sequential edge | black, solid |
true edge | blue, dashed |
false edge | red, dashed |