diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-03 18:13:51 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-03 18:13:51 +0800 |
| commit | 17615468f01bbe83486500f9cc4020b4cd3b6e8b (patch) | |
| tree | 6e6c9964a3ab9ca5cd190782c1acce5a986b4e8e /tools/standalone_miri/debug.hpp | |
| parent | 85bc7996313b4df50cbb227ae25c0721f7f5eadd (diff) | |
| download | mrust-17615468f01bbe83486500f9cc4020b4cd3b6e8b.tar.gz | |
Standalone miri - General fixes trying to get a test running
Diffstat (limited to 'tools/standalone_miri/debug.hpp')
| -rw-r--r-- | tools/standalone_miri/debug.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/standalone_miri/debug.hpp b/tools/standalone_miri/debug.hpp index 5f1dd038..9de6231b 100644 --- a/tools/standalone_miri/debug.hpp +++ b/tools/standalone_miri/debug.hpp @@ -111,6 +111,6 @@ struct DebugExceptionError: #define LOG_FATAL(strm) do { DebugSink::get(__FUNCTION__,__FILE__,__LINE__,DebugLevel::Fatal) << strm; exit(1); } while(0) #define LOG_TODO(strm) do { DebugSink::get(__FUNCTION__,__FILE__,__LINE__,DebugLevel::Bug) << "TODO: " << strm; throw DebugExceptionTodo{}; } while(0) #define LOG_BUG(strm) do { DebugSink::get(__FUNCTION__,__FILE__,__LINE__,DebugLevel::Bug) << "BUG: " << strm; abort(); } while(0) -#define LOG_ASSERT(cnd,strm) do { if( !(cnd) ) { LOG_BUG("Assertion failure: " #cnd " - " << strm); } } while(0) +#define LOG_ASSERT(cnd,strm) do { if( !(cnd) ) { LOG_ERROR("Assertion failure: " #cnd " - " << strm); } } while(0) #define FMT_STRING(...) (dynamic_cast<::std::stringstream&>(::std::stringstream() << __VA_ARGS__).str()) |