@@ -17,7 +17,7 @@ testgroup GuardedEntry for statechart GuardedEntry{
assert active(GuardedEntry.main_region.A)
assert done == true
- }
+ }
test EntryTakenInTransition {
@@ -1,4 +1,4 @@
-
+
testgroup GuardedExit for statechart GuardedExit {
test ExitTaken {