mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
parent
5af139055d
commit
cb6eb0fc96
|
@ -220,6 +220,9 @@ private:
|
|||
|
||||
if (m_bv.is_numeral(arg, r) && r != mdl)
|
||||
return false;
|
||||
|
||||
if (i > 0 && (!is_app(arg) || to_app(arg)->get_num_args() > 0))
|
||||
return false;
|
||||
}
|
||||
|
||||
if (mc) {
|
||||
|
|
Loading…
Reference in a new issue