Searched refs:AssertVisitedAll (Results 1 – 1 of 1) sorted by relevance
65 void AssertVisitedAll( const std::string & stateNames ) const in AssertVisitedAll() function349 machine.AssertVisitedAll( "ABC" ); in test_main()353 machine.AssertVisitedAll( "BC" ); in test_main()358 machine.AssertVisitedAll( "ABDEF" ); in test_main()362 machine.AssertVisitedAll( "D" ); in test_main()367 machine.AssertVisitedAll( "BD" ); in test_main()