aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/test16
-rw-r--r--tests/test22
-rw-r--r--tests/test321
3 files changed, 39 insertions, 0 deletions
diff --git a/tests/test b/tests/test
new file mode 100644
index 0000000..c976a6d
--- /dev/null
+++ b/tests/test
@@ -0,0 +1,16 @@
+machine flicker
+[
+ states [ light_off , light_on ];
+
+ starting on light_on;
+
+ events [ one_second ];
+ transitions
+ [
+ from light_on to light_off on event one_second
+ execute turn_off_light;
+ from light_off to light_on on event one_second
+ execute turn_on_light;
+ ];
+];
+
diff --git a/tests/test2 b/tests/test2
new file mode 100644
index 0000000..a5342f0
--- /dev/null
+++ b/tests/test2
@@ -0,0 +1,2 @@
+"1"
+"12"
diff --git a/tests/test3 b/tests/test3
new file mode 100644
index 0000000..43e47d1
--- /dev/null
+++ b/tests/test3
@@ -0,0 +1,21 @@
+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()
+{
+
+}