From 234bd402d3b93653a2e7edc2d14d7b1bb4f8b244 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Dec 2024 12:16:54 -0800 Subject: [PATCH] take 1 on flip conditions Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sls_bv_lookahead.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp index 761e19b67..d65446ef7 100644 --- a/src/ast/sls/sls_bv_lookahead.cpp +++ b/src/ast/sls/sls_bv_lookahead.cpp @@ -76,7 +76,7 @@ namespace sls { if (apply_guided_move(vars)) continue; - if (apply_flip()) + if (false && apply_flip()) return; // bail out if no progress, and try random update