From ef8d2020caad793d8e91d223c54be5fa39da9599 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Aug 2025 09:30:46 -0700 Subject: [PATCH] comment out Signed-off-by: Nikolaj Bjorner --- src/smt/smt_parallel.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index 8a19a3296..fd5fa81a0 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -450,7 +450,7 @@ namespace smt { // currenly, the code just implements the greedy strategy void parallel::batch_manager::return_cubes(ast_translation& l2g, vectorconst& C_worker, expr_ref_vector const& A_worker) { - SASSERT(!m_config.never_cube()); +// SASSERT(!m_config.never_cube()); auto atom_in_cube = [&](expr_ref_vector const& cube, expr* atom) { return any_of(cube, [&](expr* e) { return e == atom || (m.is_not(e, e) && e == atom); });