diff --git a/src/runtime2/tests/mod.rs b/src/runtime2/tests/mod.rs index ed151bc3431831455d0c16588626da6b1c9778a9..823efa16f04108cbd8061cfaf249914b7bde1a60 100644 --- a/src/runtime2/tests/mod.rs +++ b/src/runtime2/tests/mod.rs @@ -89,6 +89,7 @@ fn test_simple_select() { let pd = ProtocolDescription::parse(b" func infinite_assert(T val, T expected) -> () { while (val != expected) { print(\"nope!\"); } + return (); } primitive receiver(in in_a, in in_b, u32 num_sends) { @@ -98,13 +99,13 @@ fn test_simple_select() { sync select { auto v = get(in_a) -> { print(\"got something from A\"); - infinite_assert(v, num_from_a); + auto _ = infinite_assert(v, num_from_a); num_from_a += 1; } auto v = get(in_b) -> { print(\"got something from B\"); - infinite_assert(v, num_from_b); - num_from_b +=1; + auto _ = infinite_assert(v, num_from_b); + num_from_b += 1; } } } @@ -121,7 +122,7 @@ fn test_simple_select() { } composite constructor() { - auto num_sends = 3; + auto num_sends = 15; channel tx_a -> rx_a; channel tx_b -> rx_b; new sender(tx_a, num_sends); @@ -129,6 +130,6 @@ fn test_simple_select() { new sender(tx_b, num_sends); } ").expect("compilation"); - let rt = Runtime::new(1, true, pd); + let rt = Runtime::new(3, false, pd); create_component(&rt, "", "constructor", no_args()); } \ No newline at end of file