From 255a49ba5a41b3854dbdfebdec75fb6229450507 Mon Sep 17 00:00:00 2001 From: Galin Simeonov Date: Mon, 31 May 2021 22:02:10 +0300 Subject: added cmake file --- test3 | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 test3 (limited to 'test3') 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() -{ - -} -- cgit v1.2.3