diff options
Diffstat (limited to 'src/include/assert.h')
-rw-r--r-- | src/include/assert.h | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/include/assert.h b/src/include/assert.h deleted file mode 100644 index a66503641..000000000 --- a/src/include/assert.h +++ /dev/null @@ -1,26 +0,0 @@ -/********************* -*- C++ -*- */ -/** assert.h - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University - ** See the file COPYING in the top-level source directory for licensing - ** information. - ** - **/ - -#ifndef __CVC4_ASSERT_H -#define __CVC4_ASSERT_H - -#include <cassert> - -#ifdef DEBUG -// the __builtin_expect() helps us if assert is built-in or a macro -# define cvc4assert(x) assert(__builtin_expect((x), 1)) -#else -// TODO: use a compiler annotation when assertions are off ? -// (to improve optimization) -# define cvc4assert(x) -#endif /* DEBUG */ - -#endif /* __CVC4_ASSERT_H */ |