diff --git a/testcases/echo.occ b/testcases/echo.occ new file mode 100644 index 0000000..3b1a32d --- /dev/null +++ b/testcases/echo.occ @@ -0,0 +1,8 @@ +PROC echo(CHAN BYTE in, out) + BYTE c: + WHILE TRUE + SEQ + in ? c + out ! c + out ! c +: diff --git a/testcases/echoquit.rain b/testcases/echoquit.rain new file mode 100644 index 0000000..d1a3404 --- /dev/null +++ b/testcases/echoquit.rain @@ -0,0 +1,11 @@ +process main(?uint8: in, !uint8: out, !uint8: err) +{ + uint8: c; + in ? c; + while (c <> 'q') + { + out ! c; + out ! c; + in ? c; + } +}