diff options
Diffstat (limited to 'src/smt/smt_solver.cpp')
| -rw-r--r-- | src/smt/smt_solver.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index d9108a28c..25c6f5f9f 100644 --- a/src/smt/smt_solver.cpp +++ b/src/smt/smt_solver.cpp @@ -158,6 +158,7 @@ Result SmtSolver::checkSatisfiability(Assertions& as, d_env.verbose(2) << "solving..." << std::endl; Trace("smt") << "SmtSolver::check(): running check" << endl; Result result = d_propEngine->checkSat(); + Trace("smt") << "SmtSolver::check(): result " << result << std::endl; rm->endCall(); Trace("limit") << "SmtSolver::check(): cumulative millis " |