diff options
Diffstat (limited to 'lib/Solver/Solver.cpp')
| -rw-r--r-- | lib/Solver/Solver.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index 71516c24..7a1b356c 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -675,6 +675,13 @@ STPSolverImpl::computeInitialValues(const Query &query, ExprHandle stp_e = builder->construct(query.expr); + if (0) { + char *buf; + unsigned long len; + vc_printQueryStateToBuffer(vc, stp_e, &buf, &len, false); + fprintf(stderr, "note: STP query: %.*s\n", (unsigned) len, buf); + } + bool success; if (useForkedSTP) { success = runAndGetCexForked(vc, builder, stp_e, objects, values, |