Record a failure.
template< class String> void fail( String const& reason, char const* file, int line); » more... template< class = void> void fail( std::string const& reason = ""); » more...
more...