scala - 在 scalacheck 属性中使用规范匹配器

Question

我正在尝试在 scalacheck 属性中使用规范数学。例如，我有一个像这样工作的匹配器:

x must matchMyMatcher(y)

当我想在 scalacheck 属性中使用此匹配器时，我会执行以下操作:

import org.scalacheck._
import org.specs._
...
val prop = Prop.forAll(myGen){
    (x,y) => new matchMyMatcher(x)(y)._1
}
prop must pass

不幸的是，在这种情况下，我删除了放入匹配器中的调试信息以及属性失败时需要的调试信息。在 props 中使用匹配器是否有规定的方法？

Answer 1

如果您在匹配器中使用“must”，您将收到正确的失败消息:

val gen = Gen.oneOf(("a", "a"), ("b", "b2"))
val function = (pair: (String, String)) => pair._1 must myMatcher(pair._2)
gen must pass(function)

那么，在这种情况下，您的示例应该失败并显示:

> 反例是“(b,b2)”:“b”不等于“b2”(0 次尝试后)