属性测试值被标量测试忽略

Question

这个快把我逼疯了。以下属性测试在 scalatest 中通过(使用"sbt 测试"目标(。

import org.scalatest.FlatSpec
import org.scalatest.prop.PropertyChecks
class FigaroCheckSpec extends FlatSpec with PropertyChecks {
"this property" should "fail" in { forAll { (p :Int) => false } }
}

为什么？我尝试了FlatSpec和FreeSpec。当我直接将检查器与 scalacheck API 一起使用时，它也可以工作(也就是说它失败了(。

Answer 1

您没有检查/断言，请尝试以下操作：

"this property" should "fail" in { forAll { (p :Int) => assert(false) } }