diff options
Diffstat (limited to 'src/test/run-pass/task-comm-6.rs')
| -rw-r--r-- | src/test/run-pass/task-comm-6.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/run-pass/task-comm-6.rs b/src/test/run-pass/task-comm-6.rs new file mode 100644 index 00000000..c579a98c --- /dev/null +++ b/src/test/run-pass/task-comm-6.rs @@ -0,0 +1,36 @@ +io fn main() -> () { + test00(); +} + +io fn test00() { + let int r = 0; + let int sum = 0; + let port[int] p = port(); + + let chan[int] c0 = chan(p); + let chan[int] c1 = chan(p); + let chan[int] c2 = chan(p); + let chan[int] c3 = chan(p); + + let int number_of_messages = 1000; + + let int i = 0; + while (i < number_of_messages) { + c0 <| i; + c1 <| i; + c2 <| i; + c3 <| i; + i += 1; + } + + i = 0; + while (i < number_of_messages) { + r <- p; sum += r; + r <- p; sum += r; + r <- p; sum += r; + r <- p; sum += r; + i += 1; + } + + check (sum == 4 * ((number_of_messages * (number_of_messages - 1)) / 2)); +}
\ No newline at end of file |