ceph/src/boost/libs/statechart/test/TuTestMain.cpp

   1 //////////////////////////////////////////////////////////////////////////////
   2 // Copyright 2005-2006 Andreas Huber Doenni
   3 // Distributed under the Boost Software License, Version 1.0. (See accompany-
   4 // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   5 //////////////////////////////////////////////////////////////////////////////
   6
   7
   8
   9 #include "TuTest.hpp"
  10
  11 #include <boost/test/test_tools.hpp>
  12
  13 #include <stdexcept>
  14
  15
  16
  17 int test_main( int, char* [] )
  18 {
  19   TuTest machine;
  20   machine.initiate();
  21   // unconsumed_event sanity check
  22   BOOST_REQUIRE_THROW( machine.process_event( EvY() ), std::runtime_error );
  23   machine.process_event( EvX() );
  24   return 0;
  25 }