215: /*==================================================
216:  * TEST 4
217:  * いつでもOFF可能
218:  *
219:  * SPEC:
220:  * AG EF(state = OFF)
221:  *==================================================*/
222: 
223: void test_can_turn_off_anytime(void)
224: {
225:     RadioState states[] =
226:     {
227:         STATE_OFF,
228:         STATE_HIGH,
229:         STATE_SCANNING,
230:         STATE_LOCKED
231:     };
232: 
233:     int i;
234: 
235:     for(i = 0; i < 4; i++)
236:     {
237:         RadioState s;
238: 
239:         s =
240:             radio_transition(
241:                 states[i],
242:                 EVENT_OFF);
243: 
244:         assert(s == STATE_OFF);
245:     }
246: 
247:     printf("PASS: can turn off anytime\n");
248: }
