找不到对象Prop，scalacheck

Question

我遵循以下完全相同的说明： http://lamp.epfl.ch/files/content/sites/lamp/files/teaching/progfun/ScalacheckTutorial.html

将scalacheck jar添加到scala-ide但是IDE给我这个：导入时“找不到对象的对象”

import org.scalacheck._
import Prop.forAll

scala-IDE版本：4.4.0
os版本：Mac OSX El Capitan 10.11.6
scala版本：2.11.8
java版本：1.8.0_45
scalacheck：2.11.1-1.12.5-sources

Answer 1

您需要添加完整的包名import org.scalacheck.Prop