From: Morgan Deters Date: Fri, 19 Nov 2010 00:12:17 +0000 (+0000) Subject: add statistics support information to --show-config X-Git-Tag: cvc5-1.0.0~8725 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c21ad20770c41ece116c182d97e0ef824e7b26f4;p=cvc5.git add statistics support information to --show-config --- diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index 9b463f797..8cd824b0c 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -36,6 +36,10 @@ bool Configuration::isDebugBuild() { return IS_DEBUG_BUILD; } +bool Configuration::isStatisticsBuild() { + return IS_STATISTICS_BUILD; +} + bool Configuration::isTracingBuild() { return IS_TRACING_BUILD; } diff --git a/src/util/configuration.h b/src/util/configuration.h index 33c0a7407..a9d59a7fe 100644 --- a/src/util/configuration.h +++ b/src/util/configuration.h @@ -41,6 +41,8 @@ public: static bool isDebugBuild(); + static bool isStatisticsBuild(); + static bool isTracingBuild(); static bool isMuzzledBuild(); diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h index d04efe0aa..27b019378 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -30,6 +30,12 @@ namespace CVC4 { # define IS_DEBUG_BUILD false #endif /* CVC4_DEBUG */ +#ifdef CVC4_STATISTICS_ON +# define IS_STATISTICS_BUILD true +#else /* CVC4_STATISTICS_ON */ +# define IS_STATISTICS_BUILD false +#endif /* CVC4_STATISTICS_ON */ + #ifdef CVC4_TRACING # define IS_TRACING_BUILD true #else /* CVC4_TRACING */ diff --git a/src/util/options.cpp b/src/util/options.cpp index 8f26d9376..dcf146010 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -385,6 +385,7 @@ throw(OptionException) { Configuration::getVersionRelease()); printf("\n"); printf("debug code : %s\n", Configuration::isDebugBuild() ? "yes" : "no"); + printf("statistics : %s\n", Configuration::isStatisticsBuild() ? "yes" : "no"); printf("tracing : %s\n", Configuration::isTracingBuild() ? "yes" : "no"); printf("muzzled : %s\n", Configuration::isMuzzledBuild() ? "yes" : "no"); printf("assertions : %s\n", Configuration::isAssertionBuild() ? "yes" : "no");