From 5d1602b6c749dea1bc888261094518c7f00f3595 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Wed, 13 Mar 2024 14:12:10 +0100
Subject: [PATCH] print validation failures

---
 src/sat/smt/intblast_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp
index 3d14d936b..b7d9a0ab5 100644
--- a/src/sat/smt/intblast_solver.cpp
+++ b/src/sat/smt/intblast_solver.cpp
@@ -308,6 +308,7 @@ namespace intblast {
 
         IF_VERBOSE(2, verbose_stream() << "(sat.intblast :result " << r << ")\n");
         if (r == l_true) {
+            verbose_stream() << "validation failed: " << name << "\n";
             IF_VERBOSE(0,
                 model_ref mdl;
                 m_solver->get_model(mdl);