From e3c715ce37c4064587a55077d89f90ed5c89007c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 31 Oct 2025 08:20:47 -0700 Subject: [PATCH] re-add smt_parallel_params to allow customization Signed-off-by: Nikolaj Bjorner --- src/params/CMakeLists.txt | 1 + src/params/{smt_parallel.pyg => smt_parallel_params.pyg} | 0 src/smt/smt_parallel.cpp | 3 ++- 3 files changed, 3 insertions(+), 1 deletion(-) rename src/params/{smt_parallel.pyg => smt_parallel_params.pyg} (100%) diff --git a/src/params/CMakeLists.txt b/src/params/CMakeLists.txt index 9aea5b918..732430fe3 100644 --- a/src/params/CMakeLists.txt +++ b/src/params/CMakeLists.txt @@ -28,6 +28,7 @@ z3_add_component(params seq_rewriter_params.pyg sls_params.pyg smt_params_helper.pyg + smt_parallel_params.pyg solver_params.pyg tactic_params.pyg EXTRA_REGISTER_MODULE_HEADERS diff --git a/src/params/smt_parallel.pyg b/src/params/smt_parallel_params.pyg similarity index 100% rename from src/params/smt_parallel.pyg rename to src/params/smt_parallel_params.pyg diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index 7a33763a3..9831dc5a9 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -25,7 +25,8 @@ Author: #include "smt/smt_parallel.h" #include "smt/smt_lookahead.h" #include "solver/solver_preprocess.h" -// #include "params/smt_parallel_params.hpp" +#include "params/smt_parallel_params.hpp" + #include #include