Made ~Stat() virtual. Added some additional statistics. And added some documentation.

1 files changed, 9 insertions, 2 deletions

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 5c19a995d..4dc62f8d3 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -112,12 +112,15 @@ int runCvc4(int argc, char* argv[]) {
   SmtEngine smt(&exprMgr, &options);
 
   // If no file supplied we read from standard input
-  bool inputFromStdin = 
+  bool inputFromStdin =
     firstArgIndex >= argc || !strcmp("-", argv[firstArgIndex]);
 
   // Auto-detect input language by filename extension
   const char* filename = inputFromStdin ? "<stdin>" : argv[firstArgIndex];
 
+  ReferenceStat< const char* > s_statFilename("filename",filename);
+  StatisticsRegistry::registerStat(&s_statFilename);
+
   if(options.lang == parser::LANG_AUTO) {
     if( inputFromStdin ) {
       // We can't do any fancy detection on stdin
@@ -160,7 +163,7 @@ int runCvc4(int argc, char* argv[]) {
       ParserBuilder(exprMgr, filename)
         .withInputLanguage(options.lang)
         .withMmap(options.memoryMap)
-        .withChecks(options.semanticChecks && 
+        .withChecks(options.semanticChecks &&
                     !Configuration::isMuzzledBuild() )
         .withStrictMode( options.strictParsing );
 
@@ -185,6 +188,10 @@ int runCvc4(int argc, char* argv[]) {
   // Remove the parser
   delete parser;
 
+  Result asSatResult = lastResult.asSatisfiabilityResult();
+  ReferenceStat< Result > s_statSatResult("sat/unsat", asSatResult);
+  StatisticsRegistry::registerStat(&s_statSatResult);
+
   if(options.statistics){
     StatisticsRegistry::flushStatistics(cerr);
   }