scalacheck属性设置

Question

使用scalacheck，可以定义一些Properties这样：

object MyProps extends Properties("MyProps") { 
    property("myProp1") = forAll { (n:Int, m:Int) => 
    n+m == m+n 
    } 
    property("myProp2") = forAll { ... } 
    property("myProp3") = forAll { ... } 
} 

我想只覆盖的试验成功（minSuccessfulTests）默认最小数量只是一个单一的财产，例如用于"myProp2" 。

有没有办法做到这一点？

Answer 1

相反的PropFromFun你可以尝试隐式转换为自己的Prop实现：

class PropWithParameters(prop: Prop, params: Test.Parameters) extends Prop { 
    def apply(prms: Gen.Parameters) = prop(prms) 

    def check(): Unit = { 
     // Call super.check with params. 
    } 

    def withParams(moreParams: Test.Parameters): PropWithParameters = { 
     // return a new instance with params merged with moreParams. 
    } 
} 

object PropWithParameters { 
    implicit def convert(input: Prop): PropWithParameters = { 
     // Initialize with empty params here. 

     // I'm not sure if implicits get aligned easily 
     // in case of a subclass. 
    } 
} 

然后，你可以这样做：

object MyProps extends Properties("MyProps") { 
    property("myProp1") = forAll { (n:Int, m:Int) => 
     n+m == m+n 
    } 
    property("myProp2") = forAll { ... } withParams(customParams) 
    property("myProp3") = forAll { ... } 
}