1 files changed, 11 insertions, 0 deletions
diff --git a/tests/test5 b/tests/test5
new file mode 100644
index 0000000..fc9ff67
--- /dev/null
+++ b/tests/test5
@@ -0,0 +1,11 @@
+machine A
+[
+	states [ A ];
+	events [ A ];
+	starting on A;
+	transitions
+	[
+		from A to A on event A given (B.C && !C.D)
+			execute eke;
+	];
+];