diff --git a/src/runtime/tests.rs b/src/runtime/tests.rs index dfdd0474cdebe27e744fa68041d2035addf5b9ad..0218068ac87f8f7a23e48e27ea96d45a311ea7ad 100644 --- a/src/runtime/tests.rs +++ b/src/runtime/tests.rs @@ -1397,8 +1397,15 @@ fn eq_no_causality() { } } } + T some_function(msg a, msg b) { + T something = a; + return something; + } primitive quick_test(in a, in b) { - msg ma = null; + // msg ma = null; + msg test1 = null; + msg test2 = null; + msg ma = some_function(test1, test2); while(true) synchronous { if (fires(a)) { ma = get(a);