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
17int 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( evt: EvX() );
24 return 0;
25}
26

source code of boost/libs/statechart/test/TuTestMain.cpp