define __CPROVER macros even on __sun

arekinath · Feb 12, 2024 · d040647 · d040647
1 parent 512ec6a
commit d040647
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/debug.h b/debug.h
@@ -10,15 +10,15 @@ extern "C" {
 
 #include "utils.h"
 
-#if defined(__sun)
-#include <sys/debug.h>
-#else
-
 #if !defined(__CPROVER)
 #define __CPROVER_assume(X)	((void)(0))
 #define __CPROVER_assert(X,Y)	(0)
 #endif
 
+#if defined(__sun)
+#include <sys/debug.h>
+#else
+
 #undef VERIFY
 #undef ASSERT