mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-01 13:39:28 +00:00
Code Activity

disabled old code

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2014-03-27 13:34:21 +00:00
parent 1f326d9e72
commit 1834bb5950
2 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tactic/sls/sls_engine.cpp
View file

@ -868,6 +868,7 @@ bailout:
return res;
}
#if 0 // Old code.
// main search loop
lbool sls_engine::search_old() {
lbool res = l_undef;
@ -1060,6 +1061,7 @@ lbool sls_engine::search_old() {
}
}
}
#endif
bailout:
m_mpz_manager.del(new_value);
@ -1190,4 +1192,4 @@ unsigned sls_engine::check_restart(unsigned curr_value)
return 0;
}
return 1;
}
}