new exception type

stuff/debug.hh

@@ -66,6 +66,15 @@ public:
     : std::runtime_error(msg){};
 };
 
+namespace Stuff {
+class singlerun_abort_exception : public std::runtime_error
+{
+public:
+  singlerun_abort_exception(std::string msg)
+    : std::runtime_error(msg){};
+};
+}
+
 #ifndef NDEBUG
 #define ASSERT_EXCEPTION(cond, msg)                                                                                    \
   if (!(cond)) {                                                                                                       \