diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-13 00:03:35 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-13 00:03:35 -0600 |
commit | 6beda739210b7bd13adbb7f62b0c4361156986ee (patch) | |
tree | 1e86229fc763f589e22a1eab2541d87537fcea59 /src/smt/model.cpp | |
parent | 5d0a5e5571044000fdaf0d908bace8ed7c1c536a (diff) |
Distinguish unknown status for model printing (#3454)
Diffstat (limited to 'src/smt/model.cpp')
-rw-r--r-- | src/smt/model.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/smt/model.cpp b/src/smt/model.cpp index e452905e1..c6048da15 100644 --- a/src/smt/model.cpp +++ b/src/smt/model.cpp @@ -35,9 +35,7 @@ std::ostream& operator<<(std::ostream& out, const Model& m) { return out; } -Model::Model() : - d_smt(*smt::currentSmtEngine()) { -} +Model::Model() : d_smt(*smt::currentSmtEngine()), d_isKnownSat(false) {} size_t Model::getNumCommands() const { return d_smt.d_modelCommands->size() + d_smt.d_modelGlobalCommands.size(); |