From 452cf36c789006db5e1202cf06fdc9dbd158f775 Mon Sep 17 00:00:00 2001 From: Tim King Date: Tue, 22 Jun 2010 17:25:14 +0000 Subject: Made ~Stat() virtual. Added some additional statistics. And added some documentation. --- src/main/main.cpp | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'src/main/main.cpp') 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 ? "" : 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); } -- cgit v1.2.3