PyModel/samples/PowerSwitch/test.ref at master · Python3pkg/PyModel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
PowerOn()
PowerOff()
PowerOn()
PowerOff()
PowerOn()
PowerOff()
PowerOn()
PowerOff()
PowerOn()
PowerOff()
  0. Finished at step 10, reached accepting state
PowerOn()
PowerOff()
PowerOn()
  0. Finished at step 3, ended in non-accepting state
PowerOn()
PowerOff()
PowerOn()
PowerOff()
  0. Finished at step 4, reached accepting state
PowerOn()
  0. Finished at step 1, no more actions enabled, ended in non-accepting state
PowerOn()
  0. Finished at step 1, no more actions enabled, ended in non-accepting state
PowerOn()
PowerOff()
PowerOn()
  0. Finished at step 3, ended in non-accepting state
PowerOn()
PowerOff()
PowerOn()
  1. Finished at step 3, ended in non-accepting state
Test finished, completed 2 runs
PowerOn, PowerOff alternate due to enabling conditions

PowerOn, PowerOff alternate, end in non-accepting state

Same as above but add -c cleanup option to reach accepting state

Use -a option so only PowerOn action is included, can only execute once

Use -e option so PowerOff action is excluded, PowerOn can only execute once

Use -r option for multiple runs, notice run after PowerOn also starts with PowerOn