mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-14 03:04:44 +00:00
Code Activity

hooked up array.weak and array.extension params

Browse source
This commit is contained in:
Ken McMillan 2013-06-14 16:33:51 -07:00
parent 30a4627a1e
commit 886128c989
3 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/params/theory_array_params.h
View file

@ -51,6 +51,9 @@ struct theory_array_params : public array_simplifier_params {
m_array_lazy_ieq_delay(10) {
}
void updt_params(params_ref const & _p);
#if 0
void register_params(ini_params & p) {
p.register_int_param("array_solver", 0, 3, reinterpret_cast<int&>(m_array_mode), "0 - no array, 1 - simple, 2 - model based, 3 - full");