1 files changed, 0 insertions, 21 deletions
diff --git a/test3 b/test3
deleted file mode 100644
index 43e47d1..0000000
--- a/test3
+++ /dev/null
@@ -1,21 +0,0 @@
-machine light_bulb
-[
-	states [ light_on , light_off ];
-	events [ switch_state , turn_on , turn_off ];
-
-	starting on light_off;
-
-	transitions
-	[
-		from light_on to light_off on event switch_state execute light_switch();
-		from light_off to light_on on event switch_state execute light_switch();
-
-		from light_on to light_off on event turn_on execute light_switch();
-		from light_off to light_on on event turn_off execute light_switch();
-	];
-];
-
-transition light_switch()
-{
-
-}