From 07e2343c10f4cb6b35b04e82b14cc8b2e65b566c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 10 Nov 2022 14:33:06 -0800 Subject: [PATCH] fix regression introduced when editing xor_gaussian Signed-off-by: Nikolaj Bjorner --- src/sat/smt/xor_gaussian.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/sat/smt/xor_gaussian.cpp b/src/sat/smt/xor_gaussian.cpp index 1465f94dd..312074c84 100644 --- a/src/sat/smt/xor_gaussian.cpp +++ b/src/sat/smt/xor_gaussian.cpp @@ -1046,9 +1046,10 @@ void EGaussian::check_tracked_cols_only_one_set() { << " var: " << row_resp_for_var[found_row] + 1 << " and var: " << var + 1 << "\n";); - VERIFY(num_ones == 1); - VERIFY(row_resp_for_var[found_row] == l_undef); - row_resp_for_var[found_row] = var; + if (num_ones == 1) { + VERIFY(row_resp_for_var[found_row] == l_undef); + row_resp_for_var[found_row] = var; + } } }