diff options
Diffstat (limited to 'tests/test5')
| -rw-r--r-- | tests/test5 | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tests/test5 b/tests/test5 index fc9ff67..fb72d41 100644 --- a/tests/test5 +++ b/tests/test5 @@ -5,7 +5,10 @@ machine A starting on A; transitions [ - from A to A on event A given (B.C && !C.D) - execute eke; + from A to A on event A + if (A.A && !A.A) + execute eke; + else + execute asdf; ]; ]; |