diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-08-23 16:09:16 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 16:09:16 -0500 |
commit | e9e15423971126408d06c705ac715433671e72cf (patch) | |
tree | 99e131fe292c5871b0cdf4ca9691c8d36f68664a /src/main | |
parent | 408bccf70b41b1f41c8be04ffe7f7002fb57e182 (diff) |
Makes the filename be set in the SMT engine by default (#2366)
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/command_executor.h | 2 | ||||
-rw-r--r-- | src/main/driver_unified.cpp | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index 7e7202a5a..f8c6e6e5a 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -69,6 +69,8 @@ public: return d_stats; } + SmtEngine* getSmtEngine() { return d_smtEngine; } + /** * Flushes statistics to a file descriptor. */ diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 390d83eba..d9932fb43 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -269,6 +269,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { ReferenceStat<std::string> s_statFilename("filename", filenameStr); RegisterStatistic statFilenameReg(&pExecutor->getStatisticsRegistry(), &s_statFilename); + // set filename in smt engine + pExecutor->getSmtEngine()->setFilename(filenameStr); // Parse and execute commands until we are done Command* cmd; |