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

Switch ParseKey to propertyWithSeed

This commit is contained in:
Dale Wijnand 2018-12-22 12:49:21 +00:00
parent 1f14a2c340
commit 645f484184
No known key found for this signature in database
GPG Key ID: 4F256E3D151DF5EF
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,9 +25,8 @@ import sbt.librarymanagement.Configuration
* This includes properly resolving omitted components.
*/
object ParseKey extends Properties("Key parser test") {
property("An explicitly specified axis is always parsed to that explicit value") = forAll(
roundtrip(_)
)
propertyWithSeed("An explicitly specified axis is always parsed to that explicit value", None) =
forAll(roundtrip(_))
def roundtrip(skm: StructureKeyMask) = {
import skm.{ structure, key }
@ -45,7 +44,9 @@ object ParseKey extends Properties("Key parser test") {
) :| s"Expected: ${displayFull(expected)}"
}
property("An unspecified project axis resolves to the current project") = forAll(noProject(_))
propertyWithSeed("An unspecified project axis resolves to the current project", None) = forAll(
noProject(_)
)
def noProject(skm: StructureKeyMask) = {
import skm.{ structure, key }
@ -59,7 +60,7 @@ object ParseKey extends Properties("Key parser test") {
)
}
property("An unspecified task axis resolves to Zero") = forAll(noTask(_))
propertyWithSeed("An unspecified task axis resolves to Zero", None) = forAll(noTask(_))
def noTask(skm: StructureKeyMask) = {
import skm.{ structure, key }
@ -67,8 +68,9 @@ object ParseKey extends Properties("Key parser test") {
parseCheck(structure, key, mask)(_.scope.task == Zero)
}
property(
"An unspecified configuration axis resolves to the first configuration directly defining the key or else Zero"
propertyWithSeed(
"An unspecified configuration axis resolves to the first configuration directly defining the key or else Zero",
None
) = forAll(noConfig(_))
def noConfig(skm: StructureKeyMask) = {