refactor header files

[nbds] / include / lwt.h

diff --git a/include/lwt.h b/include/lwt.h
index 9f07e7af30c2887b608e24b7f4270667c6214853..dd98369a5d4570ef78d0b158b2a80ead0b95241b 100644 (file)
--- a/include/lwt.h
+++ b/include/lwt.h
@@ -13,6 +13,12 @@
 #define TRACE(flag, format, v1, v2) lwt_trace(flag, format, (size_t)(v1), (size_t)(v2))
 #endif
 
+#ifdef NDEBUG
+#define ASSERT(x) 
+#else
+#define ASSERT(x) if (!(x)) { lwt_halt(); assert(!#x); }
+#endif
+
 // Dump trace records to <file_name>. The file should be post-processed with "sort" before viewing.
 void lwt_dump (const char *file_name) __attribute__ ((externally_visible));
 
@@ -37,4 +43,6 @@ static inline void lwt_trace (const char *flag, const char *format, size_t value
     }
 }
 
+void lwt_halt (void);
+
 #endif//LWT_H