commit | 6b45c4a95714f3fd4d90880ef7188214395fbb63 | [log] [tgz] |
---|---|---|
author | ematejska <ematejska@apple.com> | Wed Sep 06 15:51:18 2017 -0700 |
committer | GitHub <noreply@github.com> | Wed Sep 06 15:51:18 2017 -0700 |
tree | 51c7d88e19c6e9e1e9d35aef089c7240f970d88b | |
parent | 40f5acf1d5d01f76f7a8ec1589b5b86539c9c748 [diff] | |
parent | fa09668142f7a55596e523489fc7c7e3daf025bf [diff] |
Merge pull request #11774 from xedin/increase-shinking-threshold [ConstraintSolver] NFC: Increase default shrinking termination threshold