Skip to content

Commit

Permalink
Merge pull request #108 from UniVE-SSV/test-coverage
Browse files Browse the repository at this point in the history 
Increasing test coverage
  • Loading branch information
@lucaneg
lucaneg committed Aug 25, 2021
2 parents 2a8fa8b + d2d3eea commit 0e89365
Show file tree
Hide file tree
Showing 226 changed files with 8,888 additions and 4,767 deletions.
1 change: 1 addition & 0 deletions lisa/dependencies.gradle
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,6 @@ dependencies {
antlr 'org.antlr:antlr4:4.8-1'

// testing
testImplementation 'nl.jqno.equalsverifier:equalsverifier:3.6'
testImplementation 'junit:junit:4.12'
}
18 changes: 9 additions & 9 deletions lisa/imp-testcases/available-expressions/analysis___untyped_ae.f0(ae_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
digraph {
"node0" [shape="rect",color="black",label=<x = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(x, 0)] ]]<BR/>}} -&gt; [x]>];
"node1" [shape="rect",color="gray",label=<y = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(x, 0), (y, 0)] ]]<BR/>}} -&gt; [y]>];
"node2" [shape="rect",color="gray",label=<d = +(5, 7)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(d, 5 + 7), (x, 0), (y, 0), (z, x * y)] ]]<BR/>}} -&gt; [d]>];
"node3" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(d, 5 + 7), (w, x + y), (x, 0), (y, 0), (z, x * y)] ]]<BR/>}} -&gt; [skip]>];
"node4" [shape="rect",color="gray",label=<w = +(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(d, 5 + 7), (w, x + y), (x, 0), (y, 0), (z, x * y)] ]]<BR/>}} -&gt; [w]>];
"node5" [shape="rect",color="gray",label=<z = *(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(x, 0), (y, 0), (z, x * y)] ]]<BR/>}} -&gt; [z]>];
"node0" [shape="rect",color="black",label=<x = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [x]>];
"node1" [shape="rect",color="gray",label=<w = +(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [5 + 7, x * y, x + y] ]]<BR/>}} -&gt; [w]>];
"node2" [shape="rect",color="gray",label=<d = +(5, 7)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [5 + 7, x * y] ]]<BR/>}} -&gt; [d]>];
"node3" [shape="rect",color="gray",label=<z = *(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [x * y] ]]<BR/>}} -&gt; [z]>];
"node4" [shape="rect",color="gray",label=<y = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [y]>];
"node5" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [5 + 7, x * y, x + y] ]]<BR/>}} -&gt; [skip]>];
"node1" -> "node5" [color="black"];
"node2" -> "node4" [color="black"];
"node2" -> "node1" [color="black"];
"node3" -> "node2" [color="black"];
"node4" -> "node3" [color="black"];
"node5" -> "node2" [color="black"];
"node0" -> "node1" [color="black"];
"node0" -> "node4" [color="black"];
subgraph cluster_legend {
label="Legend";
style=dotted;
Expand Down
34 changes: 17 additions & 17 deletions lisa/imp-testcases/available-expressions/analysis___untyped_ae.f1(ae_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,21 +1,21 @@
digraph {
"node0" [shape="rect",color="black",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0)] ]]<BR/>}} -&gt; [b]>];
"node1" [shape="rect",color="gray",label=<z = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [z]>];
"node2" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(c, 0), (x, a + b), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [skip]>];
"node3" [shape="rect",color="gray",label=<y = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0), (y, 0)] ]]<BR/>}} -&gt; [y]>];
"node4" [shape="rect",color="gray",label=<b = +(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, x + y), (c, 0), (x, y - z), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [b]>];
"node5" [shape="rect",color="gray",label=<c = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0)] ]]<BR/>}} -&gt; [c]>];
"node6" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(c, 0), (x, a + b), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [x]>];
"node7" [shape="rect",color="gray",label=<x = -(y, z)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (x, y - z), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [x]>];
"node8" [shape="rect",color="gray",label=<a = +(b, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (y, 0), (z, 0)] ]]<BR/>}} -&gt; [a]>];
"node1" -> "node8" [color="black"];
"node3" -> "node1" [color="black"];
"node4" -> "node6" [color="black"];
"node5" -> "node3" [color="black"];
"node6" -> "node2" [color="black"];
"node0" -> "node5" [color="black"];
"node7" -> "node4" [color="black"];
"node8" -> "node7" [color="black"];
"node0" [shape="rect",color="black",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [b]>];
"node1" [shape="rect",color="gray",label=<a = +(b, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [b + c] ]]<BR/>}} -&gt; [a]>];
"node2" [shape="rect",color="gray",label=<c = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [c]>];
"node3" [shape="rect",color="gray",label=<b = +(x, y)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [x + y, y - z] ]]<BR/>}} -&gt; [b]>];
"node4" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, y - z] ]]<BR/>}} -&gt; [skip]>];
"node5" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, y - z] ]]<BR/>}} -&gt; [x]>];
"node6" [shape="rect",color="gray",label=<z = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [z]>];
"node7" [shape="rect",color="gray",label=<x = -(y, z)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [b + c, y - z] ]]<BR/>}} -&gt; [x]>];
"node8" [shape="rect",color="gray",label=<y = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [y]>];
"node1" -> "node7" [color="black"];
"node2" -> "node8" [color="black"];
"node3" -> "node5" [color="black"];
"node5" -> "node4" [color="black"];
"node0" -> "node2" [color="black"];
"node6" -> "node1" [color="black"];
"node7" -> "node3" [color="black"];
"node8" -> "node6" [color="black"];
subgraph cluster_legend {
label="Legend";
style=dotted;
Expand Down
56 changes: 28 additions & 28 deletions lisa/imp-testcases/available-expressions/analysis___untyped_ae.f2(ae_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,33 +1,33 @@
digraph {
"node0" [shape="rect",color="black",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0)] ]]<BR/>}} -&gt; [b]>];
"node1" [shape="rect",color="gray",label=<b = +(a, d)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, a + d), (c, 0), (e, 0), (f, a + c)] ]]<BR/>}} -&gt; [b]>];
"node2" [shape="rect",color="black",peripheries="2",label=<return j<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(c, 0), (e, 0), (f, a + c), (j, a + b + c + d), (ret_value@f2, j)] ]]<BR/>}} -&gt; [ret_value@f2]>];
"node3" [shape="rect",color="gray",label=<f = +(a, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (e, 0), (f, a + c)] ]]<BR/>}} -&gt; [f]>];
"node4" [shape="rect",color="gray",label=<h = +(c, f)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, a + d), (c, 0), (e, 0), (f, a + c), (h, c + f)] ]]<BR/>}} -&gt; [h]>];
"node5" [shape="rect",color="gray",label=<f = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0), (f, 0)] ]]<BR/>}} -&gt; [f]>];
"node6" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(c, 0), (e, 0), (f, a + c)] ]]<BR/>}} -&gt; [true]>];
"node7" [shape="rect",color="gray",label=<d = +(e, f)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (d, e + f), (e, 0), (f, 0)] ]]<BR/>}} -&gt; [d]>];
"node8" [shape="rect",color="gray",label=<a = +(b, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (e, 0), (f, 0)] ]]<BR/>}} -&gt; [a]>];
"node9" [shape="rect",color="gray",label=<e = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0), (e, 0), (f, 0)] ]]<BR/>}} -&gt; [e]>];
"node10" [shape="rect",color="gray",label=<j = +(+(+(a, b), c), d)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(c, 0), (e, 0), (f, a + c), (j, a + b + c + d)] ]]<BR/>}} -&gt; [j]>];
"node11" [shape="rect",color="gray",label=<c = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (c, 0)] ]]<BR/>}} -&gt; [c]>];
"node12" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (e, 0), (f, a + c)] ]]<BR/>}} -&gt; [true]>];
"node13" [shape="rect",color="gray",label=<g = +(a, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, b + c), (b, 0), (c, 0), (e, 0), (f, a + c), (g, a + c)] ]]<BR/>}} -&gt; [g]>];
"node0" -> "node11" [color="black"];
"node0" [shape="rect",color="black",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [b]>];
"node1" [shape="rect",color="gray",label=<f = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [f]>];
"node2" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c, b + c] ]]<BR/>}} -&gt; [true]>];
"node3" [shape="rect",color="gray",label=<c = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [c]>];
"node4" [shape="rect",color="gray",label=<e = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [e]>];
"node5" [shape="rect",color="gray",label=<g = +(a, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c, b + c] ]]<BR/>}} -&gt; [g]>];
"node6" [shape="rect",color="gray",label=<b = +(a, d)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c, a + d] ]]<BR/>}} -&gt; [b]>];
"node7" [shape="rect",color="gray",label=<d = +(e, f)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [b + c, e + f] ]]<BR/>}} -&gt; [d]>];
"node8" [shape="rect",color="gray",label=<j = +(+(+(a, b), c), d)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, a + b + c, a + b + c + d, a + c] ]]<BR/>}} -&gt; [j]>];
"node9" [shape="rect",color="gray",label=<f = +(a, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c, b + c] ]]<BR/>}} -&gt; [f]>];
"node10" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c] ]]<BR/>}} -&gt; [true]>];
"node11" [shape="rect",color="gray",label=<a = +(b, c)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [b + c] ]]<BR/>}} -&gt; [a]>];
"node12" [shape="rect",color="gray",label=<h = +(c, f)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + c, a + d, c + f] ]]<BR/>}} -&gt; [h]>];
"node13" [shape="rect",color="black",peripheries="2",label=<return j<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, a + b + c, a + b + c + d, a + c] ]]<BR/>}} -&gt; [ret_value@f2]>];
"node1" -> "node4" [color="black"];
"node3" -> "node12" [color="black"];
"node4" -> "node6" [color="black"];
"node5" -> "node9" [color="black"];
"node6" -> "node1" [color="blue",style="dashed"];
"node6" -> "node10" [color="red",style="dashed"];
"node7" -> "node3" [color="black"];
"node8" -> "node7" [color="black"];
"node9" -> "node8" [color="black"];
"node10" -> "node2" [color="black"];
"node11" -> "node5" [color="black"];
"node12" -> "node6" [color="red",style="dashed"];
"node12" -> "node13" [color="blue",style="dashed"];
"node13" -> "node10" [color="black"];
"node2" -> "node5" [color="blue",style="dashed"];
"node2" -> "node10" [color="red",style="dashed"];
"node3" -> "node1" [color="black"];
"node4" -> "node11" [color="black"];
"node5" -> "node8" [color="black"];
"node6" -> "node12" [color="black"];
"node7" -> "node9" [color="black"];
"node8" -> "node13" [color="black"];
"node9" -> "node2" [color="black"];
"node10" -> "node6" [color="blue",style="dashed"];
"node10" -> "node8" [color="red",style="dashed"];
"node11" -> "node7" [color="black"];
"node12" -> "node10" [color="black"];
"node0" -> "node3" [color="black"];
subgraph cluster_legend {
label="Legend";
style=dotted;
Expand Down
32 changes: 16 additions & 16 deletions lisa/imp-testcases/available-expressions/analysis___untyped_ae.f3(ae_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
digraph {
"node0" [shape="rect",color="black",label=<a = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, 0)] ]]<BR/>}} -&gt; [a]>];
"node1" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (x, a + b)] ]]<BR/>}} -&gt; [skip]>];
"node2" [shape="rect",color="gray",label=<a = +(a, 1)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, a + 1), (b, 0)] ]]<BR/>}} -&gt; [a]>];
"node3" [shape="rect",color="gray",label=<y = *(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, 0), (b, 0), (x, a + b), (y, a * b)] ]]<BR/>}} -&gt; [y]>];
"node4" [shape="rect",color="gray",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, 0), (b, 0)] ]]<BR/>}} -&gt; [b]>];
"node5" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, a + 1), (b, 0), (x, a + b)] ]]<BR/>}} -&gt; [x]>];
"node6" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(a, 0), (b, 0), (x, a + b)] ]]<BR/>}} -&gt; [x]>];
"node7" [shape="rect",color="gray",label=<&gt;(y, a)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [(b, 0), (x, a + b)] ]]<BR/>}} -&gt; [y &gt; a]>];
"node2" -> "node5" [color="black"];
"node3" -> "node7" [color="black"];
"node0" -> "node4" [color="black"];
"node4" -> "node6" [color="black"];
"node5" -> "node7" [color="black"];
"node6" -> "node3" [color="black"];
"node7" -> "node1" [color="red",style="dashed"];
"node7" -> "node2" [color="blue",style="dashed"];
"node0" [shape="rect",color="black",label=<a = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [a]>];
"node1" [shape="rect",color="gray",label=<y = *(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a * b, a + b] ]]<BR/>}} -&gt; [y]>];
"node2" [shape="rect",color="gray",label=<&gt;(y, a)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, y &gt; a] ]]<BR/>}} -&gt; [y &gt; a]>];
"node3" [shape="rect",color="gray",label=<b = 0<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [b]>];
"node4" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b] ]]<BR/>}} -&gt; [x]>];
"node5" [shape="rect",color="gray",label=<a = +(a, 1)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [] ]]<BR/>}} -&gt; [a]>];
"node6" [shape="rect",color="gray",label=<x = +(a, b)<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b] ]]<BR/>}} -&gt; [x]>];
"node7" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ monolith ]]<BR/>value [[ [a + b, y &gt; a] ]]<BR/>}} -&gt; [skip]>];
"node1" -> "node2" [color="black"];
"node2" -> "node5" [color="blue",style="dashed"];
"node2" -> "node7" [color="red",style="dashed"];
"node0" -> "node3" [color="black"];
"node3" -> "node4" [color="black"];
"node4" -> "node1" [color="black"];
"node5" -> "node6" [color="black"];
"node6" -> "node2" [color="black"];
subgraph cluster_legend {
label="Legend";
style=dotted;
Expand Down
Loading

0 comments on commit 0e89365

Please sign in to comment.