From a26684a417729699e95b335a3d00798237ffba9b Mon Sep 17 00:00:00 2001
From: Galin Simeonov <gts@volconst.com>
Date: Fri, 4 Jun 2021 16:42:52 +0300
Subject: added the if statement

---
 tests/test5 | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'tests/test5')

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;
 	];
 ];
-- 
cgit v1.2.3