diff options
Diffstat (limited to 'libs/statechart/test/DeferralBug.cpp')
| -rw-r--r-- | libs/statechart/test/DeferralBug.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libs/statechart/test/DeferralBug.cpp b/libs/statechart/test/DeferralBug.cpp index 947225adf..c3ab8ef07 100644 --- a/libs/statechart/test/DeferralBug.cpp +++ b/libs/statechart/test/DeferralBug.cpp @@ -73,6 +73,12 @@ int test_main( int, char* [] ) machine.process_event( ev3to4_2() ); machine.process_event( ev1to2() ); BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 ); + machine.initiate(); + machine.process_event( ev3to4_1() ); + machine.process_event( ev3to4_2() ); + machine.process_event( ev1to2() ); + machine.process_event( ev2to3() ); + BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 ); return 0; } |