ScalaCheck integration

Weaver comes with basic ScalaCheck integration, allowing for property-based testing.

Installation

You'll need to install an additional dependency in order to use ScalaCheck with Weaver.

SBT

libraryDependencies +=  "org.typelevel" %% "weaver-scalacheck" % "0.0-70b2e5f-SNAPSHOT" % Test

Mill

object test extends Tests {
  def ivyDeps = Agg(
    ivy"org.typelevel::weaver-scalacheck:0.0-70b2e5f-SNAPSHOT"
  )
}

Usage

Add the weaver.scalacheck.Checkers mixin to use ScalaCheck within your test suite.

import org.scalacheck.Gen

import weaver._
import weaver.scalacheck._

object ForallExamples extends SimpleIOSuite with Checkers {

  // Using a single `Gen` instance
  test("Single Gen form") {
    // Takes a single, explicit `Gen` instance
    forall(Gen.posNum[Int]) { a =>
      expect(a > 0)
    }
  }

  // There is only one overload for the `forall` that takes an explicit `Gen` parameter
  // To use multiple `Gen` instances, compose them monadically before passing to `forall`
  test("Multiple Gen form") {
    // Compose into a single `Gen[(Int, Int)]`
    val gen = for {
      a <- Gen.posNum[Int]
      b <- Gen.posNum[Int]
    } yield (a, b)

    // Unapply the tuple to access individual members
    forall(gen) { case (a, b) =>
      expect(a > 0) and expect(b > 0)
    }
  }

  // Using a number of `Arbitrary` instances
  test("Arbitrary form") {
    // There are 6 overloads, to pass 1-6 parameters
    forall { (a1: Int, a2: Int, a3: Int) =>
      expect(a1 * a2 * a3 == a3 * a2 * a1)
    }
  }
  
  test("Failure example") {
    // There are 6 overloads, to pass 1-6 parameters
    forall { (a1: Int, a2: Int) =>
      expect(a1 + a2 % 2 == 0)
    }
  }

}

repl.MdocSessionMdocAppForallExamples
+ Single Gen form 99ms
+ Multiple Gen form 102ms
+ Arbitrary form 92ms
- Failure example 20ms

*************FAILURES*************
repl.MdocSessionMdocAppForallExamples
- Failure example 20ms
 [0] Property test failed on try 1 with seed Seed.fromBase64("8GHvGMtytOJnZl9T0RN6uemFIEY3U4rlHEWc5ujpb1D=") and input (550245665,1135121503). (modules/scalacheck/shared/src/main/scala/weaver/scalacheck/Checkers.scala:167)
 [0] You can reproduce this by adding the following override to your suite:
 [0] 
 [0] override def checkConfig = super.checkConfig.withInitialSeed(Seed.fromBase64("8GHvGMtytOJnZl9T0RN6uemFIEY3U4rlHEWc5ujpb1D=").toOption)

 [1] assertion failed (scalacheck.md:53)

Total 4, Failed 1, Passed 3, Ignored 0, Cancelled 0