Skip to content

Commit

Permalink
new table, better comments and added some correct_gv
Browse files Browse the repository at this point in the history
  • Loading branch information
@gabrielegenovese
gabrielegenovese committed Feb 10, 2025
1 parent e55d626 commit b2255eb
Show file tree
Hide file tree
Showing 123 changed files with 2,601 additions and 2,353 deletions.
16 changes: 16 additions & 0 deletions assets/correct.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
\begin{table}[!ht]
\centering
\begin{tabular}{|c|c|}
\hline
Example & Check \\
\hline
async & True \\
ticktackstop & False \\
ticktackloop & True \\
customer & False \\
unknown & False \\
\hline
\end{tabular}
\caption{Global view correctness data}
\label{tab:gvbench}
\end{table}
86 changes: 43 additions & 43 deletions assets/table.tex
View file
Original file line number Diff line number Diff line change
@@ -1,50 +1,50 @@
\begin{table}[h]
\begin{table}[!ht]
\centering
\begin{tabular}{|c|c|c|c|c|c|c|}
\begin{tabular}{|c|c|c|c|c|c|c|c|}
\hline
Example & Lines & GV Nodes & GV Edges & Warnings & Errors & Runtime \\
Example & Lines & Tot LV & GV Nodes & GV Edges & Warnings & Errors & Runtime \\
\hline
account & 23 & 28 & 39 & 0 & 2 & 0.199s \\
dining & 31 & 45 & 72 & 0 & 2 & 0.229s \\
hello & 24 & 5 & 6 & 2 & 0 & 0.179s \\
async & 20 & 7 & 6 & 0 & 0 & 0.178s \\
ticktackstop & 46 & 19 & 27 & 7 & 0 & 0.237s \\
ticktackloop & 32 & 6 & 6 & 2 & 0 & 0.192s \\
customer & 54 & 17 & 22 & 1 & 0 & 0.206s \\
serverclient & 41 & 9 & 8 & 8 & 3 & 0.179s \\
trick & 24 & 9 & 9 & 0 & 0 & 0.187s \\
airline & 23 & 15 & 26 & 1 & 0 & 0.224s \\
conditional-case & 26 & 25 & 24 & 1 & 16 & 0.204s \\
for-loop-recursion & 18 & 9 & 9 & 0 & 0 & 0.184s \\
function-call & 17 & 4 & 3 & 1 & 2 & 0.181s \\
high-order-fun & 21 & 15 & 17 & 0 & 3 & 0.196s \\
if-cases & 57 & 148 & 210 & 185 & 30 & 0.521s \\
pass & 16 & 3 & 2 & 0 & 0 & 0.180s \\
producer & 30 & 11 & 10 & 0 & 1 & 0.185s \\
spawn & 22 & 9 & 8 & 0 & 0 & 0.188s \\
unknown & 13 & 2 & 2 & 0 & 0 & 0.180s \\
foo1 & 18 & 8 & 7 & 0 & 0 & 0.184s \\
foo2 & 23 & 4 & 3 & 1 & 1 & 0.178s \\
foo3 & 22 & 13 & 16 & 0 & 0 & 0.186s \\
foo4 & 20 & 16 & 19 & 0 & 2 & 0.193s \\
foo5 & 18 & 79 & 165 & 1 & 0 & 0.318s \\
foo6 & 24 & 9 & 9 & 15 & 2 & 0.182s \\
foo7 & 41 & 149 & 229 & 0 & 6 & 0.504s \\
foo8 & 29 & 503 & 502 & 0 & 171 & 2.650s \\
foo9 & 14 & 4 & 3 & 1 & 3 & 0.184s \\
foo9b & 21 & 4 & 4 & 14 & 1 & 0.180s \\
foo9c & 15 & 10 & 15 & 0 & 0 & 0.192s \\
foo9d & 16 & 3 & 2 & 0 & 0 & 0.182s \\
foo9e & 24 & 14 & 14 & 0 & 5 & 0.183s \\
foo9f & 25 & 7 & 6 & 0 & 4 & 0.185s \\
foo9g & 25 & 44 & 83 & 0 & 7 & 0.221s \\
foo9h & 23 & 24 & 35 & 0 & 5 & 0.207s \\
ping & 36 & 6 & 5 & 1 & 0 & 0.179s \\
airline & 33 & 35 & 68 & 1 & 0 & 0.224s \\
meViolation & 40 & 63 & 82 & 2 & 4 & 0.255s \\
purchase & 47 & 49 & 66 & 6 & 0 & 0.251s \\
account & 23 & 3 & 28 & 39 & 0 & 2 & 0.201s \\
dining & 31 & 3 & 45 & 72 & 0 & 2 & 0.234s \\
hello & 24 & 3 & 5 & 6 & 2 & 0 & 0.189s \\
async & 20 & 3 & 7 & 6 & 0 & 0 & 0.179s \\
ticktackstop & 46 & 5 & 19 & 27 & 7 & 0 & 0.206s \\
ticktackloop & 32 & 4 & 6 & 6 & 2 & 0 & 0.181s \\
customer & 54 & 5 & 17 & 22 & 1 & 0 & 0.194s \\
serverclient & 41 & 5 & 9 & 8 & 8 & 3 & 0.189s \\
trick & 24 & 4 & 9 & 9 & 0 & 0 & 0.188s \\
airline & 23 & 3 & 15 & 26 & 1 & 0 & 0.218s \\
conditional-case & 26 & 2 & 25 & 24 & 1 & 16 & 0.194s \\
for-loop-recursion & 18 & 3 & 7 & 6 & 0 & 0 & 0.192s \\
function-call & 17 & 3 & 4 & 3 & 1 & 2 & 0.181s \\
high-order-fun & 21 & 4 & 15 & 17 & 0 & 3 & 0.184s \\
if-cases & 57 & 4 & 148 & 210 & 185 & 30 & 0.525s \\
pass & 16 & 3 & 3 & 2 & 0 & 0 & 0.178s \\
producer & 30 & 4 & 11 & 10 & 0 & 1 & 0.188s \\
spawn & 22 & 3 & 9 & 8 & 0 & 0 & 0.181s \\
unknown & 13 & 2 & 2 & 2 & 0 & 0 & 0.181s \\
foo1 & 18 & 3 & 8 & 7 & 0 & 0 & 0.180s \\
foo2 & 23 & 4 & 4 & 3 & 1 & 1 & 0.180s \\
foo3 & 22 & 3 & 13 & 16 & 0 & 0 & 0.195s \\
foo4 & 20 & 4 & 16 & 19 & 0 & 2 & 0.190s \\
foo5 & 18 & 3 & 79 & 165 & 1 & 0 & 0.308s \\
foo6 & 24 & 5 & 9 & 9 & 15 & 2 & 0.195s \\
foo7 & 41 & 3 & 149 & 229 & 0 & 6 & 0.498s \\
foo8 & 29 & 5 & 561 & 560 & 0 & 191 & 3.542s \\
foo9 & 14 & 4 & 4 & 3 & 1 & 3 & 0.176s \\
foo9b & 21 & 4 & 4 & 4 & 14 & 1 & 0.182s \\
foo9c & 15 & 3 & 10 & 15 & 0 & 0 & 0.187s \\
foo9d & 16 & 3 & 3 & 2 & 0 & 0 & 0.176s \\
foo9e & 24 & 5 & 14 & 14 & 0 & 5 & 0.186s \\
foo9f & 25 & 5 & 7 & 6 & 0 & 4 & 0.181s \\
foo9g & 25 & 5 & 44 & 83 & 0 & 7 & 0.229s \\
foo9h & 23 & 4 & 24 & 35 & 0 & 5 & 0.198s \\
ping & 36 & 3 & 6 & 5 & 1 & 0 & 0.189s \\
airline & 33 & 3 & 35 & 68 & 1 & 0 & 0.218s \\
meViolation & 40 & 4 & 63 & 82 & 2 & 4 & 0.253s \\
purchase & 47 & 5 & 49 & 66 & 6 & 0 & 0.258s \\
\hline
\end{tabular}
\caption{Global view data}
\caption{Global view empirical data}
\label{tab:gvbench}
\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_2 [id="[$e|0]", label="0#receive {get,P}"];
n_1 -> n_1 [id="[$e|8]", label="1#receive {set,NewValue}"];
n_1 -> n_2 [id="[$e|0]", label="0#receive {get,P}"];
}
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_4 -> n_3 [id="[$e|1]", label="0#receive _Val"];
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/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_17 -> n_13 [id="[$e|19]", label="client/1.1→account/1.0:{set,42}"];
n_5 -> n_2 [id="[$e|37]", 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_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_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_26 -> n_18 [id="[$e|22]", label="account/1.0→client/1.1:Value"];
n_7 -> n_11 [id="[$e|36]", label="client/1.1→account/1.0:{set,42}"];
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_23 -> n_18 [id="[$e|18]", label="account/1.0→client/1.1:Value"];
n_14 -> n_15 [id="[$e|4]", label="client/1.1→account/1.0:{get,pid_self}"];
n_27 -> n_6 [id="[$e|6]", label="account/1.0→client/1.0:Value"];
n_6 -> n_26 [id="[$e|11]", label="client/1.1→account/1.0:{get,pid_self}"];
n_4 -> n_2 [id="[$e|38]", label="client/1.0→account/1.0:{set,42}"];
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_27 -> n_10 [id="[$e|5]", label="client/1.1→account/1.0:{get,pid_self}"];
n_26 -> n_8 [id="[$e|21]", label="client/1.0→account/1.0:{set,42}"];
n_3 -> n_17 [id="[$e|14]", label="account/1.0→client/1.1:Value"];
n_19 -> n_7 [id="[$e|32]", label="client/1.0→account/1.0:{set,42}"];
n_8 -> n_20 [id="[$e|27]", 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_14 -> n_27 [id="[$e|3]", label="client/1.0→account/1.0:{get,pid_self}"];
n_15 -> n_25 [id="[$e|8]", label="account/1.0→client/1.1:Value"];
n_17 -> n_19 [id="[$e|20]", label="account/1.0→client/1.0:Value"];
n_10 -> n_23 [id="[$e|9]", label="account/1.0→client/1.0:Value"];
n_18 -> n_5 [id="[$e|29]", label="client/1.1→account/1.0:{set,42}"];
n_6 -> n_1 [id="[$e|12]", label="client/1.0→account/1.0:{set,42}"];
n_16 -> n_14 [id="[$e|2]", label="main/0.0Δclient/1.1 args [account/1.0]"];
n_3 -> n_23 [id="[$e|13]", label="account/1.0→client/1.0:Value"];
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_24 -> n_19 [id="[$e|25]", label="account/1.0→client/1.0:Value"];
n_20 -> n_11 [id="[$e|35]", label="client/1.1→account/1.0:{set,42}"];
n_25 -> n_24 [id="[$e|15]", label="client/1.0→account/1.0:{get,pid_self}"];
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_17 -> n_13 [id="[$e|19]", label="client/1.1→account/1.0:{set,42}"];
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_23 -> n_8 [id="[$e|17]", label="client/1.0→account/1.0:{set,42}"];
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}"];
n_22 -> n_4 [id="[$e|34]", label="account/1.0→client/1.0:Value"];
n_1 -> n_28 [id="[$e|23]", label="client/1.1→account/1.0:{get,pid_self}"];
n_28 -> n_20 [id="[$e|33]", label="account/1.0→client/1.1:Value"];
n_5 -> n_2 [id="[$e|37]", label="client/1.0→account/1.0:{set,42}"];
}
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_1 -> n_4 [id="[$e|1]", label="spawn account/1.0 args [1]"];
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]"];
}
2 changes: 1 addition & 1 deletion examples/airline/agent_1_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,6 @@ digraph agent_1 {
n_0 -> n_1 [arrowhead=none];
n_2 [id="2", shape=circle, label="2"];

n_2 -> n_1 [id="[$e|3]", label="0#receive {booked,_}"];
n_1 -> n_2 [id="[$e|2]", label="Pid2 ! {sell,pid_self}"];
n_2 -> n_1 [id="[$e|3]", label="0#receive {booked,_}"];
}
36 changes: 18 additions & 18 deletions examples/airline/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_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_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_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_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_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_11 -> n_15 [id="[$e|17]", 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_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_11 -> n_6 [id="[$e|16]", label="agent/1.0→main/0.0:{sell,pid_self}"];
n_1 -> n_11 [id="[$e|23]", label="main/0.0→agent/1.1:{booked,3}"];
n_8 -> n_6 [id="[$e|2]", 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_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_13 -> n_9 [id="[$e|14]", label="main/0.0→agent/1.0:{booked,3}"];
n_4 -> n_10 [id="[$e|0]", label="main/0.0Δagent/1.0 args [pid_self]"];
n_6 -> n_3 [id="[$e|6]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_15 -> n_5 [id="[$e|5]", label="main/0.0→agent/1.1:{booked,3}"];
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_12 -> n_3 [id="[$e|24]", label="agent/1.1→main/0.0:{sell,pid_self}"];
n_2 -> n_15 [id="[$e|12]", 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_10 -> n_8 [id="[$e|1]", label="main/0.0Δagent/1.1 args [pid_self]"];
n_3 -> n_14 [id="[$e|11]", label="main/0.0→agent/1.1:{booked,3}"];
n_8 -> n_15 [id="[$e|3]", label="agent/1.1→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}"];
n_14 -> n_7 [id="[$e|21]", label="main/0.0→agent/1.0:{booked,3}"];
n_6 -> n_7 [id="[$e|4]", label="main/0.0→agent/1.0:{booked,3}"];
}
4 changes: 2 additions & 2 deletions examples/airline/main_0_local_view.dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@ digraph main_0 {
n_3 [id="2", shape=circle, label="2"];
n_4 [id="5", shape=circle, label="4"];

n_1 -> n_3 [id="[$e|2]", label="spawn agent/1.0 args [pid_self]"];
n_4 -> n_2 [id="[$e|0]", label="Pid1 ! {booked,3}"];
n_2 -> n_4 [id="[$e|4]", label="0#receive {sell,Pid1}"];
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]"];
n_2 -> n_4 [id="[$e|4]", label="0#receive {sell,Pid1}"];
}
19 changes: 19 additions & 0 deletions examples/async/correct_gv.dot
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
digraph global {
rankdir="LR";
n_0 [label="global", shape="plaintext"];
n_1 [id="1", shape=circle, label="1"];
n_0 -> n_1 [arrowhead=none];
n_2 [id="7", shape=doublecircle, label="7"];
n_3 [id="4", shape=circle, label="4"];
n_4 [id="6", shape=doublecircle, label="6"];
n_5 [id="3", shape=circle, label="3"];
n_6 [id="2", shape=circle, label="2"];
n_7 [id="5", shape=circle, label="5"];

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"];
n_5 -> n_3 [id="[$e|2]", label="dummy2/0.0→dummy1/0.0:ciao"];
}
6 changes: 3 additions & 3 deletions examples/async/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_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"];
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_6 -> n_5 [id="[$e|1]", label="main/0.0Δdummy2/0.0 args nil"];
}
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_3 -> n_4 [id="[$e|1]", label="Pid ! {sell,pid_self}"];
n_4 -> n_1 [id="[$e|7]", label="0#receive {booked,_}"];
n_1 -> n_5 [id="[$e|3]", label="Pid ! {numOfSeats,pid_self}"];
n_5 -> n_3 [id="[$e|0]", label="0#receive {seats,Num}"];
n_2 -> n_6 [id="[$e|4]", label="Pid ! stop"];
n_3 -> n_4 [id="[$e|1]", label="Pid ! {sell,pid_self}"];
}
Loading

0 comments on commit b2255eb

Please sign in to comment.