StackOverflow 文档 Scala Language 教程 使用 ScalaCheck 进行测试 使用 ScalaCheck 进行测试 Scalacheck 与 scalatest 和错误消息 Scalacheck 与 scalatest 和错误消息