diff options
-rw-r--r-- | src/bindings/compat/c/c_interface.cpp | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/bindings/compat/c/c_interface.cpp b/src/bindings/compat/c/c_interface.cpp index d4f287dd7..6540f428c 100644 --- a/src/bindings/compat/c/c_interface.cpp +++ b/src/bindings/compat/c/c_interface.cpp @@ -29,9 +29,17 @@ //#include "vc_cmd.h" //#include "theory_bitvector.h" //#include "fdstream.h" -#include <string.h> -#include <assert.h> - +#include <string> +#include <cassert> +#include <unistd.h> + +#ifdef CVC4_DEBUG +# define DebugAssert(cond, str) assert(cond) +# define IF_DEBUG(x) x +#else +# define DebugAssert(...) +# define IF_DEBUG(x) +#endif using namespace std; |