diff options
Diffstat (limited to 'src/util/configuration.cpp')
-rw-r--r-- | src/util/configuration.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp index aa3e6bf6b..c13b63e3f 100644 --- a/src/util/configuration.cpp +++ b/src/util/configuration.cpp @@ -49,6 +49,10 @@ bool Configuration::isTracingBuild() { return IS_TRACING_BUILD; } +bool Configuration::isDumpingBuild() { + return IS_DUMPING_BUILD; +} + bool Configuration::isMuzzledBuild() { return IS_MUZZLED_BUILD; } @@ -89,7 +93,11 @@ unsigned Configuration::getVersionRelease() { return CVC4_RELEASE; } -string Configuration::about() { +std::string Configuration::getVersionExtra() { + return CVC4_EXTRAVERSION; +} + +std::string Configuration::about() { return CVC4_ABOUT_STRING; } |