diff --git a/test/C/src/MultipleOutputs.lf b/test/C/src/MultipleOutputs.lf index d601a0600d..8db9e5e6f9 100644 --- a/test/C/src/MultipleOutputs.lf +++ b/test/C/src/MultipleOutputs.lf @@ -20,6 +20,16 @@ reactor C { main reactor { c = new C() + state triggered: bool(true) - reaction(c.z) {= lf_print("c.z = %d", c.z->value); =} + reaction(c.z) {= + lf_print("c.z = %d", c.z->value); + self->triggered = true; + =} + + reaction(shutdown) {= + if (!self->triggered) { + lf_print_error_and_exit("Reaction never triggered.\n"); + } + =} }