diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-18 10:05:32 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-03-18 10:05:32 -0500 |
commit | 22c24eeffd7dc0e44533ccd8c2c6dc91eb77f2f3 (patch) | |
tree | c524aa83ebdd80ae911b697e243146aa25f99025 /test/regress/regress0/quantifiers/opisavailable-12.smt2 | |
parent | eb27070783709a410e6655ba9af6da6de5b0da9d (diff) |
Limit duplicate propagating instances to avoid exponential behavior in QuantConflictFind.
Diffstat (limited to 'test/regress/regress0/quantifiers/opisavailable-12.smt2')
0 files changed, 0 insertions, 0 deletions