Bug Fixes + add more tracing prints + turning off some optimizations
[satune.git] / src / AST / rewriter.cc
index b6908e1f1dc1b7435b21fa637345492ad4f98971..c508185f99928cd2eff5d6e67c332510080e15b3 100644 (file)
@@ -6,6 +6,9 @@
 void CSolver::replaceBooleanWithTrue(BooleanEdge bexpr) {
        if (constraints.contains(bexpr.negate())) {
                constraints.remove(bexpr.negate());
+#ifdef TRACE_DEBUG
+                model_println("replaceBooleanWithTrue");
+#endif
                setUnSAT();
        }       
        if (constraints.contains(bexpr)) {