diff options
Diffstat (limited to 'src/main/main.cpp')
| -rw-r--r-- | src/main/main.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 7fb0d92c9..5c19a995d 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -35,6 +35,7 @@ #include "util/output.h" #include "util/options.h" #include "util/result.h" +#include "util/stats.h" using namespace std; using namespace CVC4; @@ -85,6 +86,7 @@ int main(int argc, char* argv[]) { } } + int runCvc4(int argc, char* argv[]) { // Initialize the signal handlers @@ -183,6 +185,10 @@ int runCvc4(int argc, char* argv[]) { // Remove the parser delete parser; + if(options.statistics){ + StatisticsRegistry::flushStatistics(cerr); + } + switch(lastResult.asSatisfiabilityResult().isSAT()) { case Result::SAT: |