Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 1 | Checking FSM allocation |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 2 | [0;mTest_FSM(my_id){NULL}: Allocated |
Stefan Sperling | 888dc7d | 2018-02-26 19:17:02 +0100 | [diff] [blame] | 3 | [0;mTest_FSM(my_id){NULL}: Received Event EV_B |
| 4 | [0;mTest_FSM(my_id){NULL}: Event EV_B not permitted |
| 5 | [0;mTest_FSM(my_id){NULL}: Received Event EV_A |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 6 | [0;mTest_FSM(my_id){NULL}: state_chg to ONE |
Stefan Sperling | 888dc7d | 2018-02-26 19:17:02 +0100 | [diff] [blame] | 7 | [0;mTest_FSM(my_id){ONE}: Received Event EV_B |
Harald Welte | 31c0fef | 2017-04-16 17:26:30 +0200 | [diff] [blame] | 8 | [0;mTest_FSM(my_id){ONE}: state_chg to TWO |
| 9 | [0;mTest_FSM(my_id){TWO}: Timeout of T2342 |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 10 | [0;mTimer |
Neels Hofmeyr | d8f175c | 2018-04-09 00:42:22 +0200 | [diff] [blame^] | 11 | [0;mTest_FSM(my_id){TWO}: Deallocated |
Harald Welte | 136e737 | 2016-05-29 10:53:17 +0900 | [diff] [blame] | 12 | [0;m |