IaniLo / scalaprops

property based testing library for Scala

scalaprops

property based testing library for Scala

features

• real scala.FunctionN generators using Cogen (aka CoArbitrary in QuickCheck). scalaprops can generate not only constant Functions
• flexible parameter settings for each test( ScalaCheck doesn't have this feature )
• timeout as soon as possible
• flexible law checking like discipline
• discipline uses only String for test id. but scalaprops can use other than String
• scalaz integration
• laws for scalaz typeclasses
• Gen and Cogen instances of scalaz datatypes
• immutable random number generator
• scalaprops does not use scala.util.Random because scala.util.Random is mutable
• default implementation is Mersenne Twister (JVM) or Tiny Mersenne Twister (Scala.js)
• Scala.js support

latest stable version

testFrameworks += new TestFramework("scalaprops.ScalapropsFramework")

parallelExecution in Test := false // currently, does not support parallel execution

libraryDependencies += "com.github.scalaprops" %% "scalaprops" % "0.3.4" % "test"

libraryDependencies += "com.github.scalaprops" %% "scalaprops-scalazlaws" % "0.3.4" % "test"

or you can use sbt plugin

• API Documentation
• sxr

snapshot version

resolvers += Opts.resolver.sonatypeSnapshots

testFrameworks += new TestFramework("scalaprops.ScalapropsFramework")

parallelExecution in Test := false

libraryDependencies += "com.github.scalaprops" %% "scalaprops" % "0.3.5-SNAPSHOT" % "test"

libraryDependencies += "com.github.scalaprops" %% "scalaprops-scalazlaws" % "0.3.5-SNAPSHOT" % "test"

• API Documentation
• sxr

for scalaz 7.1.x

https://github.com/scalaprops/scalaprops/tree/0.1.x