diff --git a/src/runtime/tests.rs b/src/runtime/tests.rs index ae32b8c4e0008ad3255cb2b07642dbbe6237b64c..03eba43af3465abf484aeede0228df3a8889bd45 100644 --- a/src/runtime/tests.rs +++ b/src/runtime/tests.rs @@ -1397,6 +1397,20 @@ fn eq_no_causality() { } } } + primitive quick_test(in a, in b) { + msg ma = null; + while(true) synchronous { + if (fires(a)) { + ma = get(a); + } + if (fires(b)) { + ma = get(b); + } + if (fires(a) && fires(b)) { + ma = get(a) + get(b); + } + } + } "; let pd = reowolf::ProtocolDescription::parse(pdl).unwrap(); let mut c = file_logged_configured_connector(0, test_log_path, Arc::new(pd));