當值無法識別時進行scalacheck

Question

我有一個關於scalacheck的when子句的基本問題。 由於某種原因，我的編譯器無法識別時間，也無法識別(conditional subset) ==>部分。

（我遵循的是Odersky在Coursera上的第二個scala課程，並且我將scalacheck屬性編寫為：

property("deleteMin ...") = forAll{
h:H => whenever (isEmpty(h)) {...

編譯器無法識別任何時候。 我還需要導入什么東西嗎

import org.scalacheck._
import Arbitrary._
import Gen._
import Prop._

？

Answer 1

我不是scalacheck方面的專家，但是我已經完成了Coursera的任務。

1. 無需whenever時間即可完成。
2. 我找不到API文檔中提到的whenever 內容 。

Answer 2

Scalacheck沒有“ whenever”功能，但是您可以使用==>方法。 （您將需要導入org.scalacheck.P​​rop.BooleanOperators）

如果要使用基於scalatest屬性的測試而非scalacheck，則可以混合使用Trait PropertyChecks（導入org.scalatest.prop.PropertyChecks），並且可以使用“何時”功能。