From ceb8cc1b06e2b3a9048e8c36b51387b0dc9a242f Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Fri, 9 Jun 2017 17:26:28 +0200
Subject: [PATCH] Add ABORT() to Debug header

---
 emper/Debug.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/emper/Debug.hpp b/emper/Debug.hpp
index 4b624017..e265b7df 100644
--- a/emper/Debug.hpp
+++ b/emper/Debug.hpp
@@ -3,6 +3,7 @@
 #include <iostream>
 #include <sstream>
 #include <map>
+#include <cstdlib>
 
 #ifdef NDEBUG
 
@@ -24,6 +25,8 @@
 
 #define LOGI(x) do { std::stringstream sst; sst << x; logI(sst.str()); } while (false)
 
+#define ABORT(x) do { std::stringstream sst; sst << x; logI(sst.str()); abort(); } while (false)
+
 enum class LogSubsystem {
 	PS,
 	F,
@@ -116,6 +119,10 @@ protected:
 		worker_log(sst.str(), string);
 	}
 
+	inline void logE(const std::string& string) const {
+		log(Error, string);
+	}
+
 	inline void logI(const std::string& string) const {
 		log(Info, string);
 	}
-- 
GitLab