Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 1 | Checking FSM allocation |
| 2 | [0;mTest FSM{NULL}: Allocated |
| 3 | [0;mTest FSM{NULL}: Received Event 1 |
Neels Hofmeyr | 6a13e7f | 2016-12-14 17:37:34 +0100 | [diff] [blame] | 4 | [0;mTest FSM{NULL}: Event 1 not permitted |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 5 | [0;mTest FSM{NULL}: Received Event 0 |
| 6 | [0;mTest FSM{NULL}: state_chg to ONE |
| 7 | [0;mTest FSM{ONE}: Received Event 1 |
| 8 | [0;mTest FSM{ONE}: state_chg to TWO |
| 9 | [0;mTest FSM{TWO}: Timeout of T2342 |
| 10 | [0;mTimer |
| 11 | [0;m |