Pavel Yaskevich 4f8872598b [ConstraintSolver] NFC: Add option to control early termination of shrinking phase ...

Currently we have a number of unsolved disjunctions hard-coded to 5,
which breaks some existing code by terminating shrinking too early.
This patch makes it a command-line option so users have control over
what that threshold can be.

Resolves: rdar://problem/33433595

2017-07-20 12:44:48 -07:00

66 KiB

Raw Blame History

View Raw