《scala编程》第三版267页的例子scalatest中的forAll出错

import org.scalatest.WordSpec
import org.scalatest.prop.PropertyChecks
import org.scalatest.MustMatchers._
import Element.elem
class ElementSpec extends WordSpec with PropertyChecks {
    "elem result" must {
        "have passed width" in {
            forAll { (w: Int) =>
                whenever (w > 0) {
                    elem('x', w, 3).width must equal (w)
                }
            }
        }
    }
}

该例子使用sbt运行会出现如下错误:

Error:(9, 7) Symbol 'term org.scalacheck' is missing from the classpath.

This symbol is required by 'value org.scalatest.prop.GeneratorDrivenPropertyChecks.genAndNameA'.
Make sure that term scalacheck is in your classpath and check for conflicting dependencies with `-Ylog-classpath`.
A full rebuild may help if 'GeneratorDrivenPropertyChecks.class' was compiled against an incompatible version of org.
      forAll { (w: Int) =>

Error:(9, 7) Symbol 'type org.scalacheck.Gen' is missing from the classpath.
This symbol is required by 'value org.scalatest.prop.GeneratorDrivenPropertyChecks.genAndNameA'.
Make sure that type Gen is in your classpath and check for conflicting dependencies with `-Ylog-classpath`.
A full rebuild may help if 'GeneratorDrivenPropertyChecks.class' was compiled against an incompatible version of org.scalacheck.
      forAll { (w: Int) =>

Error:(9, 7) Symbol 'type org.scalacheck.Arbitrary' is missing from the classpath.
This symbol is required by 'value org.scalatest.prop.GeneratorDrivenPropertyChecks.arbA'.
Make sure that type Arbitrary is in your classpath and check for conflicting dependencies with `-Ylog-classpath`.
A full rebuild may help if 'GeneratorDrivenPropertyChecks.class' was compiled against an incompatible version of org.scalacheck.

      forAll { (w: Int) =>

Error:(9, 7) Symbol 'type org.scalacheck.Shrink' is missing from the classpath.
This symbol is required by 'value org.scalatest.prop.GeneratorDrivenPropertyChecks.shrA'.
Make sure that type Shrink is in your classpath and check for conflicting dependencies with `-Ylog-classpath`.
A full rebuild may help if 'GeneratorDrivenPropertyChecks.class' was compiled against an incompatible version of org.scalacheck.

      forAll { (w: Int) =>

解决方案：

    sbt中的构造文件build.sbt的末尾加上一句：

libraryDependencies += "org.scalacheck"% "scalacheck_2.12" % "1.13.4" % "test"

    注意：scalacheck_2.12中的2.12与你的scala版本对应，如果你的scala版本为2.11，此处改写为scalacheck_2.11，不然会运行出错。