luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

increase example count

This commit is contained in:
Eugene Yokota 2019-09-27 16:39:30 -04:00
parent 67a3eca698
commit ad1596c400
1 changed files with 20 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
main/src/test/scala/ParseKey.scala
View File

@ -12,6 +12,7 @@ import sbt.internal.TestBuild._
import sbt.internal.util.complete.Parser import sbt.internal.util.complete.Parser
import sbt.internal.{ Resolve, TestBuild } import sbt.internal.{ Resolve, TestBuild }
import hedgehog.{ Result => Assert, _ } import hedgehog.{ Result => Assert, _ }
import hedgehog.core.{ ShrinkLimit, SuccessCount }
import hedgehog.runner._ import hedgehog.runner._
/** /**
@ -19,23 +20,35 @@ import hedgehog.runner._
* This includes properly resolving omitted components. * This includes properly resolving omitted components.
*/ */
object ParseKey extends Properties { object ParseKey extends Properties {
val exampleCount = 10000
override def tests: List[Test] = List( override def tests: List[Test] = List(
property( propertyN(
"An explicitly specified axis is always parsed to that explicit value", "An explicitly specified axis is always parsed to that explicit value",
arbStructureKeyMask.forAll.map(roundtrip) arbStructureKeyMask.forAll.map(roundtrip),
exampleCount
), ),
property( propertyN(
"An unspecified project axis resolves to the current project", "An unspecified project axis resolves to the current project",
arbStructureKeyMask.forAll.map(noProject) arbStructureKeyMask.forAll.map(noProject),
exampleCount
), ),
property("An unspecified task axis resolves to Zero", arbStructureKeyMask.forAll.map(noTask)), propertyN(
property( "An unspecified task axis resolves to Zero",
arbStructureKeyMask.forAll.map(noTask),
exampleCount
),
propertyN(
"An unspecified configuration axis resolves to the first configuration directly defining the key or else Zero", "An unspecified configuration axis resolves to the first configuration directly defining the key or else Zero",
arbStructureKeyMask.forAll.map(noConfig) arbStructureKeyMask.forAll.map(noConfig),
exampleCount
) )
) )
def propertyN(name: String, result: => Property, n: Int): Test =
Test(name, result)
.config(_.copy(testLimit = SuccessCount(n), shrinkLimit = ShrinkLimit(n * 10)))
def roundtrip(skm: StructureKeyMask) = { def roundtrip(skm: StructureKeyMask) = {
import skm.{ structure, key } import skm.{ structure, key }