diff --git a/src/runtime2/tests/mod.rs b/src/runtime2/tests/mod.rs index a316a1561c391dd2207cc46779f1acfeb2834c14..7900d9cfb8b1c8b8b355b75b695ce51d89678b8d 100644 --- a/src/runtime2/tests/mod.rs +++ b/src/runtime2/tests/mod.rs @@ -219,4 +219,21 @@ fn test_empty_select() { ").expect("compilation"); let rt = Runtime::new(3, false, pd); create_component(&rt, "", "constructor", no_args()); +} + +#[test] +fn test_random_u32_temporary_thingo() { + let pd = ProtocolDescription::parse(b" + primitive random_taker(in generator) { + sync { + auto a = get(generator); + } + } + + composite constructor() { + channel tx -> rx; + new random_u32(tx, 1, 100); + new random_taker(rx); + } + ").expect("compilation"); } \ No newline at end of file