diff options
Diffstat (limited to 'src/main/driver_unified.cpp')
| -rw-r--r-- | src/main/driver_unified.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
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; |