mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-30 09:13:29 +01:00
20 lines
641 B
C++
20 lines
641 B
C++
|
/*
|
||
|
* Created by Martin on 03/09/2018.
|
||
|
*
|
||
|
* Distributed under the Boost Software License, Version 1.0. (See accompanying
|
||
|
* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
||
|
*/
|
||
|
|
||
|
#include "catch_enforce.h"
|
||
|
|
||
|
namespace Catch {
|
||
|
#if defined(CATCH_CONFIG_DISABLE_EXCEPTIONS) && !defined(CATCH_CONFIG_DISABLE_EXCEPTIONS_CUSTOM_HANDLER)
|
||
|
[[noreturn]]
|
||
|
void throw_exception(std::exception const& e) {
|
||
|
Catch::cerr() << "Catch will terminate because it needed to throw an exception.\n"
|
||
|
<< "The message was: " << e.what() << '\n';
|
||
|
std::terminate();
|
||
|
}
|
||
|
#endif
|
||
|
} // namespace Catch;
|