185   TerminationTest machine;  in test_main()  local
186   machine.AssertInState( "" );  in test_main()
188   machine.initiate();  in test_main()
189   machine.AssertInState( "ABCDEFG" );  in test_main()
190   machine.process_event( EvTerminateE() );  in test_main()
191   machine.AssertInState( "ABCD" );  in test_main()
192   machine.process_event( EvTerminateE() );  in test_main()
193   machine.AssertInState( "ABCD" );  in test_main()
195   machine.initiate();  in test_main()
196   machine.AssertInState( "ABCDEFG" );  in test_main()
197   machine.process_event( EvTerminateC() );  in test_main()
198   machine.AssertInState( "AB" );  in test_main()
199   machine.process_event( EvTerminateC() );  in test_main()
200   machine.AssertInState( "AB" );  in test_main()
202   machine.initiate();  in test_main()
203   machine.AssertInState( "ABCDEFG" );  in test_main()
204   machine.process_event( EvTerminateA() );  in test_main()
205   machine.AssertInState( "" );  in test_main()
206   machine.process_event( EvTerminateA() );  in test_main()
207   machine.AssertInState( "" );  in test_main()
209   machine.initiate();  in test_main()
210   machine.AssertInState( "ABCDEFG" );  in test_main()
211   machine.process_event( EvTerminateG() );  in test_main()
212   machine.AssertInState( "ABCDEF" );  in test_main()
213   machine.process_event( EvTerminateG() );  in test_main()
214   machine.AssertInState( "ABCDEF" );  in test_main()
215   machine.process_event( EvTerminateF() );  in test_main()
216   machine.AssertInState( "ABCD" );  in test_main()
217   machine.process_event( EvTerminateF() );  in test_main()
218   machine.AssertInState( "ABCD" );  in test_main()
219   machine.process_event( EvTerminateD() );  in test_main()
220   machine.AssertInState( "AB" );  in test_main()
221   machine.process_event( EvTerminateD() );  in test_main()
222   machine.AssertInState( "AB" );  in test_main()
223   machine.process_event( EvTerminateB() );  in test_main()
224   machine.AssertInState( "" );  in test_main()
225   machine.process_event( EvTerminateB() );  in test_main()
226   machine.AssertInState( "" );  in test_main()
228   machine.initiate();  in test_main()
229   machine.AssertInState( "ABCDEFG" );  in test_main()
230   machine.process_event( EvTerminateB() );  in test_main()
231   machine.AssertInState( "ACDEFG" );  in test_main()
232   machine.process_event( EvTerminateB() );  in test_main()
233   machine.AssertInState( "ACDEFG" );  in test_main()
234   machine.process_event( EvTerminateD() );  in test_main()
235   machine.AssertInState( "ACEFG" );  in test_main()
236   machine.process_event( EvTerminateD() );  in test_main()
237   machine.AssertInState( "ACEFG" );  in test_main()
238   machine.process_event( EvTerminateF() );  in test_main()
239   machine.AssertInState( "ACEG" );  in test_main()
240   machine.process_event( EvTerminateF() );  in test_main()
241   machine.AssertInState( "ACEG" );  in test_main()
242   machine.process_event( EvTerminateG() );  in test_main()
243   machine.AssertInState( "" );  in test_main()
244   machine.process_event( EvTerminateG() );  in test_main()
245   machine.AssertInState( "" );  in test_main()
247   machine.initiate();  in test_main()
248   machine.AssertInState( "ABCDEFG" );  in test_main()
249   machine.process_event( EvTerminateE() );  in test_main()
250   machine.AssertInState( "ABCD" );  in test_main()
251   machine.process_event( EvTerminateE() );  in test_main()
252   machine.AssertInState( "ABCD" );  in test_main()
253   machine.process_event( EvTerminateC() );  in test_main()
254   machine.AssertInState( "AB" );  in test_main()
255   machine.process_event( EvTerminateC() );  in test_main()
256   machine.AssertInState( "AB" );  in test_main()
257   machine.process_event( EvTerminateA() );  in test_main()
258   machine.AssertInState( "" );  in test_main()
259   machine.process_event( EvTerminateA() );  in test_main()
260   machine.AssertInState( "" );  in test_main()
262   machine.initiate();  in test_main()
263   machine.AssertInState( "ABCDEFG" );  in test_main()
264   machine.initiate();  in test_main()
265   machine.AssertInState( "ABCDEFG" );  in test_main()
266   machine.terminate();  in test_main()
267   machine.AssertInState( "" );  in test_main()
268   machine.terminate();  in test_main()
269   machine.AssertInState( "" );  in test_main()