#include #include // std::abort int test_main( int, char* [] ) { #ifdef NDEBUG std::abort(); #else BOOST_ASSERT( false ); #endif return 0; }