synchronous/korg-distributed
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

big channels owo

Browse Source
This commit is contained in:
Jake Ginesin
2026-03-12 03:14:15 -04:00
parent c1cdf846e5
commit 6a8f9be133
7 changed files with 28 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tests/tcp/tcp-phi1.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp-phi2.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp-phi3.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp-phi4.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp-phi5.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp-phi6.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];

8
tests/tcp/tcp.pml
View File

@@ -3,10 +3,10 @@
// not yet implemented: phi6
mtype = { SYN, FIN, ACK, ABORT, CLOSE, RST, OPEN }
chan AtoN = [1] of { mtype };
chan NtoA = [1] of { mtype };
chan BtoN = [1] of { mtype };
chan NtoB = [1] of { mtype };
chan AtoN = [2] of { mtype };
chan NtoA = [2] of { mtype };
chan BtoN = [2] of { mtype };
chan NtoB = [2] of { mtype };
int state[2];
int pids[2];