Skip to content

Commit

Permalink
better tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@gabrielegenovese
gabrielegenovese committed Feb 7, 2025
1 parent d81812f commit 23ec586
Show file tree
Hide file tree
Showing 162 changed files with 2,816 additions and 2,308 deletions.
49 changes: 49 additions & 0 deletions assets/output.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
\begin{table}[h]
\centering
\begin{tabular}{lccc}
\hline
Example & #Lines & #GV Nodes & #GV Edges & #Warnings & #Errors & Runtime \\
\hline
account & 23 & 19 & 27 & 0 & 2 & 0.209 \\
dining & 31 & 29 & 44 & 0 & 2 & 0.237 \\
hello & 24 & 3 & 3 & 2 & 0 & 0.189 \\
async & 20 & 6 & 6 & 0 & 0 & 0.187 \\
ticktackstop & 46 & 12 & 19 & 7 & 0 & 0.208 \\
ticktackloop & 32 & 5 & 5 & 2 & 0 & 0.188 \\
customer & 54 & 12 & 16 & 1 & 0 & 0.199 \\
serverclient & 41 & 7 & 8 & 8 & 3 & 0.190 \\
trick & 24 & 8 & 8 & 0 & 0 & 0.185 \\
airline & 23 & 12 & 20 & 1 & 0 & 0.228 \\
conditional-case & 26 & 10 & 15 & 1 & 16 & 0.196 \\
for-loop-recursion & 18 & 8 & 9 & 0 & 0 & 0.183 \\
function-call & 17 & 3 & 3 & 1 & 2 & 0.183 \\
high-order-fun & 21 & 10 & 14 & 0 & 3 & 0.193 \\
if-cases & 57 & 86 & 134 & 185 & 30 & 0.528 \\
pass & 16 & 3 & 2 & 0 & 0 & 0.182 \\
producer & 30 & 8 & 7 & 0 & 1 & 0.184 \\
spawn & 22 & 9 & 8 & 0 & 0 & 0.187 \\
unknown & 13 & 1 & 1 & 0 & 0 & 0.181 \\
foo1 & 18 & 6 & 7 & 0 & 0 & 0.188 \\
foo2 & 23 & 4 & 3 & 1 & 1 & 0.177 \\
foo3 & 22 & 10 & 14 & 0 & 0 & 0.187 \\
foo4 & 20 & 12 & 15 & 0 & 2 & 0.189 \\
foo5 & 18 & 39 & 87 & 1 & 0 & 0.315 \\
foo6 & 24 & 6 & 7 & 15 & 2 & 0.185 \\
foo7 & 41 & 43 & 121 & 0 & 6 & 0.521 \\
foo8 & 29 & 27 & 95 & 0 & 171 & 2.769 \\
foo9 & 14 & 2 & 3 & 1 & 3 & 0.185 \\
foo9b & 21 & 4 & 4 & 14 & 1 & 0.184 \\
foo9c & 15 & 6 & 11 & 0 & 0 & 0.184 \\
foo9d & 16 & 3 & 2 & 0 & 0 & 0.177 \\
foo9e & 24 & 9 & 13 & 0 & 5 & 0.187 \\
foo9f & 25 & 4 & 6 & 0 & 4 & 0.180 \\
foo9g & 25 & 21 & 49 & 0 & 7 & 0.228 \\
foo9h & 23 & 12 & 26 & 0 & 5 & 0.195 \\
ping & 36 & 6 & 5 & 1 & 0 & 0.186 \\
airline & 33 & 18 & 34 & 1 & 0 & 0.228 \\
meViolation & 40 & 38 & 54 & 2 & 4 & 0.270 \\
purchase & 47 & 25 & 44 & 6 & 0 & 0.256 \\
\hline
\end{tabular}
\caption{Global view data}
\end{table}
2 changes: 1 addition & 1 deletion examples/account/account_1_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,6 @@ digraph account_1 {
n_2 [id="2", shape=circle, label="2"];

n_2 -> n_1 [id="[$e|7]", label="P ! Value"];
n_1 -> n_1 [id="[$e|8]", label="1#receive {set,NewValue}"];
n_1 -> n_2 [id="[$e|0]", label="0#receive {get,P}"];
n_1 -> n_1 [id="[$e|8]", label="1#receive {set,NewValue}"];
}
2 changes: 1 addition & 1 deletion examples/account/client_1_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ digraph client_1 {
n_3 [id="3", shape=circle, label="3"];
n_4 [id="2", shape=circle, label="2"];

n_1 -> n_4 [id="[$e|0]", label="Account ! {get,pid_self}"];
n_3 -> n_2 [id="[$e|2]", label="Account ! {set,42}"];
n_1 -> n_4 [id="[$e|0]", label="Account ! {get,pid_self}"];
n_4 -> n_3 [id="[$e|1]", label="0#receive _Val"];
}
62 changes: 31 additions & 31 deletions examples/account/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,43 +31,43 @@ digraph global {
n_27 [id="5", shape=circle, label="5"];
n_28 [id="21", shape=circle, label="21"];

n_15 -> n_3 [id="[$e|7]", label="client/1.0→account/1.0:{get,pid_self}"];
n_8 -> n_20 [id="[$e|27]", label="account/1.0→client/1.1:Value"];
n_23 -> n_18 [id="[$e|18]", label="account/1.0→client/1.1:Value"];
n_23 -> n_8 [id="[$e|17]", label="client/1.0→account/1.0:{set,42}"];
n_15 -> n_25 [id="[$e|8]", label="account/1.0→client/1.1:Value"];
n_28 -> n_20 [id="[$e|33]", label="account/1.0→client/1.1:Value"];
n_25 -> n_24 [id="[$e|15]", label="client/1.0→account/1.0:{get,pid_self}"];
n_7 -> n_11 [id="[$e|36]", label="client/1.1→account/1.0:{set,42}"];
n_18 -> n_5 [id="[$e|29]", label="client/1.1→account/1.0:{set,42}"];
n_25 -> n_12 [id="[$e|16]", label="client/1.1→account/1.0:{set,42}"];
n_17 -> n_13 [id="[$e|19]", label="client/1.1→account/1.0:{set,42}"];
n_26 -> n_8 [id="[$e|21]", label="client/1.0→account/1.0:{set,42}"];
n_27 -> n_10 [id="[$e|5]", label="client/1.1→account/1.0:{get,pid_self}"];
n_19 -> n_7 [id="[$e|32]", label="client/1.0→account/1.0:{set,42}"];
n_27 -> n_6 [id="[$e|6]", label="account/1.0→client/1.0:Value"];
n_9 -> n_21 [id="[$e|0]", label="main/0.0Δaccount/1.0 args [1]"];
n_13 -> n_4 [id="[$e|30]", label="account/1.0→client/1.0:Value"];
n_6 -> n_1 [id="[$e|12]", label="client/1.0→account/1.0:{set,42}"];
n_20 -> n_11 [id="[$e|35]", label="client/1.1→account/1.0:{set,42}"];
n_17 -> n_19 [id="[$e|20]", label="account/1.0→client/1.0:Value"];
n_5 -> n_2 [id="[$e|37]", label="client/1.0→account/1.0:{set,42}"];
n_18 -> n_7 [id="[$e|28]", label="client/1.0→account/1.0:{set,42}"];
n_10 -> n_23 [id="[$e|9]", label="account/1.0→client/1.0:Value"];
n_19 -> n_5 [id="[$e|31]", label="client/1.1→account/1.0:{set,42}"];
n_14 -> n_27 [id="[$e|3]", label="client/1.0→account/1.0:{get,pid_self}"];
n_24 -> n_13 [id="[$e|24]", label="client/1.1→account/1.0:{set,42}"];
n_23 -> n_8 [id="[$e|17]", label="client/1.0→account/1.0:{set,42}"];
n_3 -> n_23 [id="[$e|13]", label="account/1.0→client/1.0:Value"];
n_16 -> n_14 [id="[$e|2]", label="main/0.0Δclient/1.1 args [account/1.0]"];
n_21 -> n_16 [id="[$e|1]", label="main/0.0Δclient/1.0 args [account/1.0]"];
n_3 -> n_17 [id="[$e|14]", label="account/1.0→client/1.1:Value"];
n_4 -> n_2 [id="[$e|38]", label="client/1.0→account/1.0:{set,42}"];
n_1 -> n_28 [id="[$e|23]", label="client/1.1→account/1.0:{get,pid_self}"];
n_24 -> n_19 [id="[$e|25]", label="account/1.0→client/1.0:Value"];
n_8 -> n_20 [id="[$e|27]", label="account/1.0→client/1.1:Value"];
n_20 -> n_11 [id="[$e|35]", label="client/1.1→account/1.0:{set,42}"];
n_17 -> n_19 [id="[$e|20]", label="account/1.0→client/1.0:Value"];
n_10 -> n_17 [id="[$e|10]", label="account/1.0→client/1.1:Value"];
n_12 -> n_22 [id="[$e|26]", label="client/1.0→account/1.0:{get,pid_self}"];
n_14 -> n_15 [id="[$e|4]", label="client/1.1→account/1.0:{get,pid_self}"];
n_19 -> n_7 [id="[$e|32]", label="client/1.0→account/1.0:{set,42}"];
n_18 -> n_7 [id="[$e|28]", label="client/1.0→account/1.0:{set,42}"];
n_22 -> n_4 [id="[$e|34]", label="account/1.0→client/1.0:Value"];
n_26 -> n_18 [id="[$e|22]", label="account/1.0→client/1.1:Value"];
n_25 -> n_12 [id="[$e|16]", label="client/1.1→account/1.0:{set,42}"];
n_4 -> n_2 [id="[$e|38]", label="client/1.0→account/1.0:{set,42}"];
n_1 -> n_28 [id="[$e|23]", label="client/1.1→account/1.0:{get,pid_self}"];
n_16 -> n_14 [id="[$e|2]", label="main/0.0Δclient/1.1 args [account/1.0]"];
n_23 -> n_18 [id="[$e|18]", label="account/1.0→client/1.1:Value"];
n_19 -> n_5 [id="[$e|31]", label="client/1.1→account/1.0:{set,42}"];
n_15 -> n_3 [id="[$e|7]", label="client/1.0→account/1.0:{get,pid_self}"];
n_3 -> n_17 [id="[$e|14]", label="account/1.0→client/1.1:Value"];
n_9 -> n_21 [id="[$e|0]", label="main/0.0Δaccount/1.0 args [1]"];
n_27 -> n_6 [id="[$e|6]", label="account/1.0→client/1.0:Value"];
n_27 -> n_10 [id="[$e|5]", label="client/1.1→account/1.0:{get,pid_self}"];
n_24 -> n_19 [id="[$e|25]", label="account/1.0→client/1.0:Value"];
n_24 -> n_13 [id="[$e|24]", label="client/1.1→account/1.0:{set,42}"];
n_28 -> n_20 [id="[$e|33]", label="account/1.0→client/1.1:Value"];
n_6 -> n_1 [id="[$e|12]", label="client/1.0→account/1.0:{set,42}"];
n_18 -> n_5 [id="[$e|29]", label="client/1.1→account/1.0:{set,42}"];
n_15 -> n_25 [id="[$e|8]", label="account/1.0→client/1.1:Value"];
n_21 -> n_16 [id="[$e|1]", label="main/0.0Δclient/1.0 args [account/1.0]"];
n_6 -> n_26 [id="[$e|11]", label="client/1.1→account/1.0:{get,pid_self}"];
n_14 -> n_27 [id="[$e|3]", label="client/1.0→account/1.0:{get,pid_self}"];
n_13 -> n_4 [id="[$e|30]", label="account/1.0→client/1.0:Value"];
n_26 -> n_18 [id="[$e|22]", label="account/1.0→client/1.1:Value"];
n_25 -> n_24 [id="[$e|15]", label="client/1.0→account/1.0:{get,pid_self}"];
n_26 -> n_8 [id="[$e|21]", label="client/1.0→account/1.0:{set,42}"];
n_7 -> n_11 [id="[$e|36]", label="client/1.1→account/1.0:{set,42}"];
n_14 -> n_15 [id="[$e|4]", label="client/1.1→account/1.0:{get,pid_self}"];
}
2 changes: 1 addition & 1 deletion examples/account/main_0_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ digraph main_0 {
n_3 [id="3", shape=doublecircle, label="4"];
n_4 [id="2", shape=circle, label="2"];

n_2 -> n_3 [id="[$e|0]", label="spawn client/1.1 args [account/1.0]"];
n_4 -> n_2 [id="[$e|2]", label="spawn client/1.0 args [account/1.0]"];
n_2 -> n_3 [id="[$e|0]", label="spawn client/1.1 args [account/1.0]"];
n_1 -> n_4 [id="[$e|1]", label="spawn account/1.0 args [1]"];
}
9 changes: 9 additions & 0 deletions examples/account/output.csv
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
line,23
lv_main/0_nodes,4
lv_main/0_edges,3
lv_account/1_nodes,2
lv_account/1_edges,3
lv_client/1_nodes,4
lv_client/1_edges,3
gv_nodes,19
gv_edges,27
38 changes: 19 additions & 19 deletions examples/airline/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,30 +18,30 @@ digraph global {
n_14 [id="13", shape=circle, label="13"];
n_15 [id="5", shape=circle, label="5"];

n_12 -> n_2 [id="[$e|25]", label="main/0.0→agent/1.0:{booked,3}"];
n_3 -> n_14 [id="[$e|11]", label="main/0.0→agent/1.1:{booked,3}"];
n_2 -> n_15 [id="[$e|12]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_2 -> n_6 [id="[$e|13]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_11 -> n_15 [id="[$e|17]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_8 -> n_15 [id="[$e|3]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_4 -> n_10 [id="[$e|0]", label="main/0.0Δagent/1.0 args [pid_self]"];
n_6 -> n_7 [id="[$e|4]", label="main/0.0→agent/1.0:{booked,3}"];
n_1 -> n_11 [id="[$e|23]", label="main/0.0→agent/1.1:{booked,3}"];
n_1 -> n_13 [id="[$e|22]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_8 -> n_6 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_15 -> n_11 [id="[$e|9]", label="main/0.0→agent/1.1:{booked,3}"];
n_3 -> n_9 [id="[$e|10]", label="main/0.0→agent/1.0:{booked,3}"];
n_12 -> n_3 [id="[$e|24]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_14 -> n_7 [id="[$e|21]", label="main/0.0→agent/1.0:{booked,3}"];
n_15 -> n_5 [id="[$e|5]", label="main/0.0→agent/1.1:{booked,3}"];
n_6 -> n_2 [id="[$e|7]", label="main/0.0→agent/1.0:{booked,3}"];
n_3 -> n_14 [id="[$e|11]", label="main/0.0→agent/1.1:{booked,3}"];
n_9 -> n_5 [id="[$e|20]", label="main/0.0→agent/1.1:{booked,3}"];
n_6 -> n_3 [id="[$e|6]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_15 -> n_13 [id="[$e|8]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_3 -> n_1 [id="[$e|18]", label="main/0.0→agent/1.0:{booked,3}"];
n_13 -> n_14 [id="[$e|15]", label="main/0.0→agent/1.1:{booked,3}"];
n_4 -> n_10 [id="[$e|0]", label="main/0.0Δagent/1.0 args [pid_self]"];
n_11 -> n_15 [id="[$e|17]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_3 -> n_12 [id="[$e|19]", label="main/0.0→agent/1.1:{booked,3}"];
n_15 -> n_11 [id="[$e|9]", label="main/0.0→agent/1.1:{booked,3}"];
n_13 -> n_9 [id="[$e|14]", label="main/0.0→agent/1.0:{booked,3}"];
n_12 -> n_3 [id="[$e|24]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_15 -> n_13 [id="[$e|8]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_6 -> n_7 [id="[$e|4]", label="main/0.0→agent/1.0:{booked,3}"];
n_15 -> n_5 [id="[$e|5]", label="main/0.0→agent/1.1:{booked,3}"];
n_1 -> n_11 [id="[$e|23]", label="main/0.0→agent/1.1:{booked,3}"];
n_10 -> n_8 [id="[$e|1]", label="main/0.0Δagent/1.1 args [pid_self]"];
n_6 -> n_3 [id="[$e|6]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_9 -> n_5 [id="[$e|20]", label="main/0.0→agent/1.1:{booked,3}"];
n_11 -> n_6 [id="[$e|16]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_3 -> n_9 [id="[$e|10]", label="main/0.0→agent/1.0:{booked,3}"];
n_8 -> n_15 [id="[$e|3]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_6 -> n_2 [id="[$e|7]", label="main/0.0→agent/1.0:{booked,3}"];
n_2 -> n_6 [id="[$e|13]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_12 -> n_2 [id="[$e|25]", label="main/0.0→agent/1.0:{booked,3}"];
n_8 -> n_6 [id="[$e|2]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_1 -> n_13 [id="[$e|22]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_13 -> n_14 [id="[$e|15]", label="main/0.0→agent/1.1:{booked,3}"];
}
2 changes: 1 addition & 1 deletion examples/airline/main_0_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@ digraph main_0 {

n_4 -> n_2 [id="[$e|0]", label="Pid1 ! {booked,3}"];
n_2 -> n_4 [id="[$e|4]", label="0#receive {sell,Pid1}"];
n_1 -> n_3 [id="[$e|2]", label="spawn agent/1.0 args [pid_self]"];
n_3 -> n_2 [id="[$e|5]", label="spawn agent/1.1 args [pid_self]"];
n_1 -> n_3 [id="[$e|2]", label="spawn agent/1.0 args [pid_self]"];
}
9 changes: 9 additions & 0 deletions examples/airline/output.csv
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
line,23
lv_main/0_nodes,4
lv_main/0_edges,4
lv_agent/1_nodes,2
lv_agent/1_edges,2
lv_seats/1_nodes,2
lv_seats/1_edges,2
gv_nodes,12
gv_edges,20
6 changes: 3 additions & 3 deletions examples/async/main_0_global_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,10 @@ digraph global {
n_6 [id="2", shape=circle, label="2"];
n_7 [id="5", shape=circle, label="5"];

n_7 -> n_2 [id="[$e|5]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_5 -> n_7 [id="[$e|3]", label="dummy1/0.0→dummy2/0.0:bello"];
n_3 -> n_4 [id="[$e|4]", label="dummy1/0.0→dummy2/0.0:bello"];
n_5 -> n_3 [id="[$e|2]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_1 -> n_6 [id="[$e|0]", label="main/0.0Δdummy1/0.0 args nil"];
n_3 -> n_4 [id="[$e|4]", label="dummy1/0.0→dummy2/0.0:bello"];
n_7 -> n_2 [id="[$e|5]", label="dummy2/0.0→dummy1/0.0:ciao"];
n_6 -> n_5 [id="[$e|1]", label="main/0.0Δdummy2/0.0 args nil"];
n_5 -> n_7 [id="[$e|3]", label="dummy1/0.0→dummy2/0.0:bello"];
}
9 changes: 9 additions & 0 deletions examples/async/output.csv
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
line,20
lv_main/0_nodes,3
lv_main/0_edges,2
lv_dummy1/0_nodes,3
lv_dummy1/0_edges,2
lv_dummy2/0_nodes,3
lv_dummy2/0_edges,2
gv_nodes,6
gv_edges,6
6 changes: 3 additions & 3 deletions examples/cauder_suite/airline/agent_2_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@ digraph agent_2 {
n_5 [id="2", shape=circle, label="2"];
n_6 [id="5", shape=doublecircle, label="6"];

n_4 -> n_1 [id="[$e|7]", label="0#receive {booked,_}"];
n_2 -> n_6 [id="[$e|4]", label="Pid ! stop"];
n_5 -> n_2 [id="[$e|5]", label="1#receive {seats,0}"];
n_4 -> n_1 [id="[$e|7]", label="0#receive {booked,_}"];
n_5 -> n_3 [id="[$e|0]", label="0#receive {seats,Num}"];
n_1 -> n_5 [id="[$e|3]", label="Pid ! {numOfSeats,pid_self}"];
n_3 -> n_4 [id="[$e|1]", label="Pid ! {sell,pid_self}"];
n_1 -> n_5 [id="[$e|3]", label="Pid ! {numOfSeats,pid_self}"];
n_5 -> n_3 [id="[$e|0]", label="0#receive {seats,Num}"];
}
Loading

0 comments on commit 23ec586

Please sign in to comment.