diff options
Diffstat (limited to 'src/base/configuration_private.h')
-rw-r--r-- | src/base/configuration_private.h | 110 |
1 files changed, 55 insertions, 55 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 754c8002f..ce6397682 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -24,101 +24,101 @@ namespace cvc5 { -#ifdef CVC4_DEBUG +#ifdef CVC5_DEBUG # define IS_DEBUG_BUILD true -#else /* CVC4_DEBUG */ +#else /* CVC5_DEBUG */ # define IS_DEBUG_BUILD false -#endif /* CVC4_DEBUG */ +#endif /* CVC5_DEBUG */ -#ifdef CVC4_TRACING +#ifdef CVC5_TRACING # define IS_TRACING_BUILD true -#else /* CVC4_TRACING */ +#else /* CVC5_TRACING */ # define IS_TRACING_BUILD false -#endif /* CVC4_TRACING */ +#endif /* CVC5_TRACING */ -#ifdef CVC4_DUMPING +#ifdef CVC5_DUMPING # define IS_DUMPING_BUILD true -#else /* CVC4_DUMPING */ +#else /* CVC5_DUMPING */ # define IS_DUMPING_BUILD false -#endif /* CVC4_DUMPING */ +#endif /* CVC5_DUMPING */ -#ifdef CVC4_MUZZLE +#ifdef CVC5_MUZZLE # define IS_MUZZLED_BUILD true -#else /* CVC4_MUZZLE */ +#else /* CVC5_MUZZLE */ # define IS_MUZZLED_BUILD false -#endif /* CVC4_MUZZLE */ +#endif /* CVC5_MUZZLE */ -#ifdef CVC4_ASSERTIONS +#ifdef CVC5_ASSERTIONS # define IS_ASSERTIONS_BUILD true -#else /* CVC4_ASSERTIONS */ +#else /* CVC5_ASSERTIONS */ # define IS_ASSERTIONS_BUILD false -#endif /* CVC4_ASSERTIONS */ +#endif /* CVC5_ASSERTIONS */ -#ifdef CVC4_COVERAGE +#ifdef CVC5_COVERAGE # define IS_COVERAGE_BUILD true -#else /* CVC4_COVERAGE */ +#else /* CVC5_COVERAGE */ # define IS_COVERAGE_BUILD false -#endif /* CVC4_COVERAGE */ +#endif /* CVC5_COVERAGE */ -#ifdef CVC4_PROFILING +#ifdef CVC5_PROFILING # define IS_PROFILING_BUILD true -#else /* CVC4_PROFILING */ +#else /* CVC5_PROFILING */ # define IS_PROFILING_BUILD false -#endif /* CVC4_PROFILING */ +#endif /* CVC5_PROFILING */ -#ifdef CVC4_COMPETITION_MODE +#ifdef CVC5_COMPETITION_MODE # define IS_COMPETITION_BUILD true -#else /* CVC4_COMPETITION_MODE */ +#else /* CVC5_COMPETITION_MODE */ # define IS_COMPETITION_BUILD false -#endif /* CVC4_COMPETITION_MODE */ +#endif /* CVC5_COMPETITION_MODE */ -#ifdef CVC4_GMP_IMP +#ifdef CVC5_GMP_IMP # define IS_GMP_BUILD true -#else /* CVC4_GMP_IMP */ +#else /* CVC5_GMP_IMP */ # define IS_GMP_BUILD false -#endif /* CVC4_GMP_IMP */ +#endif /* CVC5_GMP_IMP */ -#ifdef CVC4_CLN_IMP +#ifdef CVC5_CLN_IMP # define IS_CLN_BUILD true -#else /* CVC4_CLN_IMP */ +#else /* CVC5_CLN_IMP */ # define IS_CLN_BUILD false -#endif /* CVC4_CLN_IMP */ +#endif /* CVC5_CLN_IMP */ -#if CVC4_USE_GLPK +#if CVC5_USE_GLPK # define IS_GLPK_BUILD true -#else /* CVC4_USE_GLPK */ +#else /* CVC5_USE_GLPK */ # define IS_GLPK_BUILD false -#endif /* CVC4_USE_GLPK */ +#endif /* CVC5_USE_GLPK */ -#if CVC4_USE_ABC +#if CVC5_USE_ABC # define IS_ABC_BUILD true -#else /* CVC4_USE_ABC */ +#else /* CVC5_USE_ABC */ # define IS_ABC_BUILD false -#endif /* CVC4_USE_ABC */ +#endif /* CVC5_USE_ABC */ -#if CVC4_USE_CADICAL +#if CVC5_USE_CADICAL #define IS_CADICAL_BUILD true -#else /* CVC4_USE_CADICAL */ +#else /* CVC5_USE_CADICAL */ #define IS_CADICAL_BUILD false -#endif /* CVC4_USE_CADICAL */ +#endif /* CVC5_USE_CADICAL */ -#if CVC4_USE_CRYPTOMINISAT +#if CVC5_USE_CRYPTOMINISAT # define IS_CRYPTOMINISAT_BUILD true -#else /* CVC4_USE_CRYPTOMINISAT */ +#else /* CVC5_USE_CRYPTOMINISAT */ # define IS_CRYPTOMINISAT_BUILD false -#endif /* CVC4_USE_CRYPTOMINISAT */ +#endif /* CVC5_USE_CRYPTOMINISAT */ -#if CVC4_USE_KISSAT +#if CVC5_USE_KISSAT #define IS_KISSAT_BUILD true -#else /* CVC4_USE_KISSAT */ +#else /* CVC5_USE_KISSAT */ #define IS_KISSAT_BUILD false -#endif /* CVC4_USE_KISSAT */ +#endif /* CVC5_USE_KISSAT */ -#if CVC4_USE_POLY +#if CVC5_USE_POLY #define IS_POLY_BUILD true -#else /* CVC4_USE_POLY */ +#else /* CVC5_USE_POLY */ #define IS_POLY_BUILD false -#endif /* CVC4_USE_POLY */ +#endif /* CVC5_USE_POLY */ #if HAVE_LIBEDITLINE #define IS_EDITLINE_BUILD true @@ -126,17 +126,17 @@ namespace cvc5 { #define IS_EDITLINE_BUILD false #endif /* HAVE_LIBEDITLINE */ -#ifdef CVC4_USE_SYMFPU +#ifdef CVC5_USE_SYMFPU #define IS_SYMFPU_BUILD true #else /* HAVE_SYMFPU_HEADERS */ #define IS_SYMFPU_BUILD false #endif /* HAVE_SYMFPU_HEADERS */ -#if CVC4_GPL_DEPS +#if CVC5_GPL_DEPS # define IS_GPL_BUILD true -#else /* CVC4_GPL_DEPS */ +#else /* CVC5_GPL_DEPS */ # define IS_GPL_BUILD false -#endif /* CVC4_GPL_DEPS */ +#endif /* CVC5_GPL_DEPS */ #define IS_ASAN_BUILD false @@ -154,11 +154,11 @@ namespace cvc5 { # endif /* __has_feature(address_sanitizer) */ #endif /* defined(__has_feature) */ -#ifdef CVC4_USE_UBSAN +#ifdef CVC5_USE_UBSAN #define IS_UBSAN_BUILD true -#else /* CVC4_USE_UBSAN */ +#else /* CVC5_USE_UBSAN */ #define IS_UBSAN_BUILD false -#endif /* CVC4_USE_UBSAN */ +#endif /* CVC5_USE_UBSAN */ #define IS_TSAN_BUILD false |