diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-04 15:34:40 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-07-04 15:34:40 -0400 |
| commit | d4f76fdfaed04bf63bb609a5fd26b0d45a9e94f4 (patch) | |
| tree | 6b142d25e93d387371dc402fb0970b5059ae8bac /src/prop/bvminisat | |
| parent | 99cae2a7cac2019d432a01c07f94faac370abdda (diff) | |
initialize variables
Diffstat (limited to 'src/prop/bvminisat')
| -rw-r--r-- | src/prop/bvminisat/core/Solver.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/prop/bvminisat/core/Solver.cc b/src/prop/bvminisat/core/Solver.cc index e54c8d174..b6238460b 100644 --- a/src/prop/bvminisat/core/Solver.cc +++ b/src/prop/bvminisat/core/Solver.cc @@ -135,6 +135,15 @@ Solver::Solver(CVC4::context::Context* c) : , progress_estimate (0) , remove_satisfied (true) + , ca () + + // even though these are temporaries and technically should be set + // before calling, lets intialize them. this will reduces chances of + // non-determinism in portfolio (parallel) solver if variables are + // being (incorrectly) used without initialization. + , seen(), analyze_stack(), analyze_toclear(), add_tmp() + , max_learnts(0.0), learntsize_adjust_confl(0.0), learntsize_adjust_cnt(0) + // Resource constraints: // , conflict_budget (-1) |