diff --git a/src/runtime2/tests/mod.rs b/src/runtime2/tests/mod.rs index 30568689f005d5c7ab31d56b024adb674253a55c..28448eebad2897ede211d30682d958c2ac5d8251 100644 --- a/src/runtime2/tests/mod.rs +++ b/src/runtime2/tests/mod.rs @@ -225,16 +225,21 @@ fn test_empty_select() { #[test] fn test_random_u32_temporary_thingo() { let pd = ProtocolDescription::parse(b" - primitive random_taker(in generator) { - sync { - auto a = get(generator); + primitive random_taker(in generator, u32 num_values) { + auto i = 0; + while (i < num_values) { + sync { + auto a = get(generator); + } + i += 1; } } composite constructor() { channel tx -> rx; - new random_u32(tx, 1, 100); - new random_taker(rx); + auto num_values = 25; + new random_u32(tx, 1, 100, num_values); + new random_taker(rx, num_values); } ").expect("compilation"); let rt = Runtime::new(1, true, pd);