suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

TLP testcases

Browse Source
This commit is contained in:
Adam Sampson 2007-04-24 00:10:06 +00:00
parent 5120b2e112
commit a1bf1d351a
4 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
fco2/testcases/_bad_tlp.occ Normal file
View File

@ -0,0 +1,3 @@
PROC foo (INT x)
SKIP
:

3
fco2/testcases/_bad_tlp2.occ Normal file
View File

@ -0,0 +1,3 @@
PROC foo (CHAN OF BYTE blah)
SKIP
:

3
fco2/testcases/_bad_tlp3.occ Normal file
View File

@ -0,0 +1,3 @@
PROC P (CHAN OF BYTE in, keyboard, out)
SKIP
:

8
fco2/testcases/tlp.occ Normal file
View File

@ -0,0 +1,8 @@
PROC tlp (CHAN OF BYTE err, out, keyboard)
WHILE TRUE
BYTE b:
SEQ
keyboard ? b
err ! b
out ! (b + 1)
: