mirror of https://github.com/sbt/sbt.git
c5317a1f72
The TestCaseGenerators uses global set for ensuring that certain generated values are unique. This is not the best design because the more properties you check the harder is to generate new sample inputs because of already accumulated values. This results in: [info] + Analysis.Simple Merge and Split: OK, proved property. [info] ! Analysis.Complex Merge and Split: Gave up after only 8 passed tests. 93 tests were discarded. I don't have an ambition to reduce the scope of this global set but at least I wanted to make generators to work a bit harder on generating samples. Instead of using `suchThat` method for filtering out non-unique samples we use `retryUntil` that never gives up (therefore it might not terminate). We had to upgrade to latest (1.11.1) version of scalacheck in order to have an access to `retryUntil` method. Also, I overridden the `identifier` to delegate to original `Gen.identifier` but with minimal size set to be to '3'. This means, the generated identifier will be of size 3 or larger which is needed in order to avoid collisions. |
||
|---|---|---|
| .. | ||
| Docs.scala | ||
| Proguard.scala | ||
| Release.scala | ||
| Sbt.scala | ||
| SiteMap.scala | ||
| Status.scala | ||
| Sxr.scala | ||
| Transform.scala | ||
| Util.scala | ||
| build.properties | ||
| p.sbt | ||