mirror of
https://github.com/Z3Prover/z3
synced 2025-04-23 17:15:31 +00:00
parent
1bc6c6a2a5
commit
0768701744
1 changed files with 1 additions and 0 deletions
|
@ -1279,6 +1279,7 @@ namespace sat {
|
|||
};
|
||||
|
||||
lbool solver::invoke_local_search(unsigned num_lits, literal const* lits) {
|
||||
if (inconsistent()) return l_false;
|
||||
scoped_limits scoped_rl(rlimit());
|
||||
SASSERT(m_local_search);
|
||||
i_local_search& srch = *m_local_search;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue