From f14cc76caafc47c11391181a7e12104442ada02d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 29 Oct 2012 08:53:33 -0700 Subject: [PATCH] expose slice as an external option Signed-off-by: Nikolaj Bjorner --- src/muz_qe/pdr_dl_interface.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/pdr_dl_interface.cpp b/src/muz_qe/pdr_dl_interface.cpp index cb7d88fd6..d6fc1c931 100644 --- a/src/muz_qe/pdr_dl_interface.cpp +++ b/src/muz_qe/pdr_dl_interface.cpp @@ -215,5 +215,5 @@ void dl_interface::collect_params(param_descrs& p) { PRIVATE_PARAMS(p.insert(":try-minimize-core", CPK_BOOL, "PDR: (default false) try to reduce core size (before inductive minimization)");); PRIVATE_PARAMS(p.insert(":simplify-formulas-pre", CPK_BOOL, "PDR: (default false) simplify derived formulas before inductive propagation");); PRIVATE_PARAMS(p.insert(":simplify-formulas-post", CPK_BOOL, "PDR: (default false) simplify derived formulas after inductive propagation");); - PRIVATE_PARAMS(p.insert(":slice", CPK_BOOL, "PDR: (default true) simplify clause set using slicing");); + p.insert(":slice", CPK_BOOL, "PDR: (default true) simplify clause set using slicing"); }