From 1397dd12ffdbc848adedf28afd271146fa501bc3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Aug 2025 15:42:16 -0700 Subject: [PATCH] change default Signed-off-by: Nikolaj Bjorner --- src/params/smt_parallel_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/params/smt_parallel_params.pyg b/src/params/smt_parallel_params.pyg index faaef6e82..91f7bce91 100644 --- a/src/params/smt_parallel_params.pyg +++ b/src/params/smt_parallel_params.pyg @@ -6,5 +6,5 @@ def_module_params('smt_parallel', ('share_conflicts', BOOL, True, 'share conflicts'), ('never_cube', BOOL, False, 'never cube'), ('frugal_cube_only', BOOL, False, 'only apply frugal cube strategy'), - ('relevant_units_only', BOOL, False, 'only share relvant units') + ('relevant_units_only', BOOL, True, 'only share relvant units') ))