From a1bf1d351a43c4ea2ceb7bc8a92f512a2dc731c0 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Tue, 24 Apr 2007 00:10:06 +0000 Subject: [PATCH] TLP testcases --- fco2/testcases/_bad_tlp.occ | 3 +++ fco2/testcases/_bad_tlp2.occ | 3 +++ fco2/testcases/_bad_tlp3.occ | 3 +++ fco2/testcases/tlp.occ | 8 ++++++++ 4 files changed, 17 insertions(+) create mode 100644 fco2/testcases/_bad_tlp.occ create mode 100644 fco2/testcases/_bad_tlp2.occ create mode 100644 fco2/testcases/_bad_tlp3.occ create mode 100644 fco2/testcases/tlp.occ diff --git a/fco2/testcases/_bad_tlp.occ b/fco2/testcases/_bad_tlp.occ new file mode 100644 index 0000000..d60aa1c --- /dev/null +++ b/fco2/testcases/_bad_tlp.occ @@ -0,0 +1,3 @@ +PROC foo (INT x) + SKIP +: diff --git a/fco2/testcases/_bad_tlp2.occ b/fco2/testcases/_bad_tlp2.occ new file mode 100644 index 0000000..ab9f104 --- /dev/null +++ b/fco2/testcases/_bad_tlp2.occ @@ -0,0 +1,3 @@ +PROC foo (CHAN OF BYTE blah) + SKIP +: diff --git a/fco2/testcases/_bad_tlp3.occ b/fco2/testcases/_bad_tlp3.occ new file mode 100644 index 0000000..e9403c6 --- /dev/null +++ b/fco2/testcases/_bad_tlp3.occ @@ -0,0 +1,3 @@ +PROC P (CHAN OF BYTE in, keyboard, out) + SKIP +: diff --git a/fco2/testcases/tlp.occ b/fco2/testcases/tlp.occ new file mode 100644 index 0000000..061b253 --- /dev/null +++ b/fco2/testcases/tlp.occ @@ -0,0 +1,8 @@ +PROC tlp (CHAN OF BYTE err, out, keyboard) + WHILE TRUE + BYTE b: + SEQ + keyboard ? b + err ! b + out ! (b + 1) +: