在scalacheck属性中使用specs匹配器

Question

我正在尝试在scalacheck属性中使用specs mathers。例如，我有一个像这样工作的匹配器：

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

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

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)

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

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