diff options
author | Tim King <taking@cs.nyu.edu> | 2010-06-22 17:25:14 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-06-22 17:25:14 +0000 |
commit | 452cf36c789006db5e1202cf06fdc9dbd158f775 (patch) | |
tree | b158c250c88cb292b4b7525de37b579ae3123226 /src/main | |
parent | 498bb02fc7d2539d41b778bc42e383ca8dbf6d9e (diff) |
Made ~Stat() virtual. Added some additional statistics. And added some documentation.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/main.cpp | 11 |
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); } |