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 { ... } 
}