diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver.cpp | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/src/main/driver.cpp b/src/main/driver.cpp index 958175030..eda5df2ca 100644 --- a/src/main/driver.cpp +++ b/src/main/driver.cpp @@ -153,25 +153,9 @@ int runCvc4(int argc, char* argv[], Options& options) { } } - // Create the expression manager - ExprManager exprMgr(options); - - // Create the SmtEngine - SmtEngine smt(&exprMgr); - - // signal handlers need access - pStatistics = smt.getStatisticsRegistry(); - // Auto-detect input language by filename extension const char* filename = inputFromStdin ? "<stdin>" : argv[firstArgIndex]; - // Timer statistic - RegisterStatistic statTotalTime(exprMgr, &s_totalTime); - - // Filename statistics - ReferenceStat< const char* > s_statFilename("filename", filename); - RegisterStatistic statFilenameReg(exprMgr, &s_statFilename); - if(options.inputLanguage == language::input::LANG_AUTO) { if( inputFromStdin ) { // We can't do any fancy detection on stdin @@ -228,6 +212,15 @@ int runCvc4(int argc, char* argv[], Options& options) { << Expr::printtypes(false); } + // important even for muzzled builds (to get result output right) + *options.out << Expr::setlanguage(options.outputLanguage); + + // Create the expression manager + ExprManager exprMgr(options); + + // Create the SmtEngine + SmtEngine smt(&exprMgr); + Parser* replayParser = NULL; if( options.replayFilename != "" ) { ParserBuilder replayParserBuilder(&exprMgr, options.replayFilename, options); @@ -245,8 +238,15 @@ int runCvc4(int argc, char* argv[], Options& options) { *options.replayLog << Expr::setlanguage(options.outputLanguage) << Expr::setdepth(-1); } - // important even for muzzled builds (to get result output right) - *options.out << Expr::setlanguage(options.outputLanguage); + // signal handlers need access + pStatistics = smt.getStatisticsRegistry(); + + // Timer statistic + RegisterStatistic statTotalTime(exprMgr, &s_totalTime); + + // Filename statistics + ReferenceStat< const char* > s_statFilename("filename", filename); + RegisterStatistic statFilenameReg(exprMgr, &s_statFilename); // Parse and execute commands until we are done Command* cmd; |