From 75859ef4e42a3aa66ecc2b0639e5effe5d9e9a01 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 2 May 2020 15:53:46 -0700 Subject: [PATCH] model anomaly fix #4171 --- src/muz/spacer/spacer_util.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/muz/spacer/spacer_util.cpp b/src/muz/spacer/spacer_util.cpp index 213746239..32465947a 100644 --- a/src/muz/spacer/spacer_util.cpp +++ b/src/muz/spacer/spacer_util.cpp @@ -409,10 +409,11 @@ namespace { } } + if (!m_model.is_true(res)) { - verbose_stream() << "Bad literal: " << res << "\n"; + IF_VERBOSE(2, verbose_stream() + << "(spacer-model-anomaly: " << res << ")\n"; } - SASSERT(m_model.is_true(res)); out.push_back(res); }