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

不幸的是，在这种情况下，我删除了我放入匹配器中的调试信息，并且当属性失败时我需要这些信息。是否有规定的方式在道具中使用匹配器？

score 6 · Accepted Answer

如果您对匹配器使用“必须”，您将收到正确的失败消息：

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

然后，在这种情况下，您的示例应该失败：

> A counter-example is '(b,b2)': 'b' is not equal to 'b2' (after 0 tries)

1 回答 1