simple properties based scalacheck usage example / published by https://github.com/dacr/code-examples-manager #221c6449-dad8-4d70-b690-1e689ecc01f5/e4335b079820d7d31ba460530d30496dd43b7dbf

testing-scalacheck-example.sc

// summary : simple properties based scalacheck usage example
// keywords : scala, scalacheck, properties-based-testing, @testable
// publish : gist
// authors : David Crosson
// license : Apache NON-AI License Version 2.0 (https://raw.githubusercontent.com/non-ai-licenses/non-ai-licenses/main/NON-AI-APACHE2)
// id : 221c6449-dad8-4d70-b690-1e689ecc01f5
// created-on : 2021-12-17T16:45:11+01:00
// managed-by : https://github.com/dacr/code-examples-manager
// run-with : scala-cli $file

// ---------------------
//> using scala  "3.3.0"
//> using dep "org.scalacheck::scalacheck:1.17.0"
// ---------------------

import org.scalacheck.Prop
import org.scalacheck.Gen

// -----------------------------

def concatList[A](left: List[A], right: List[A]): List[A] = left ::: right

val propConcatLists = Prop.forAll { (l1: List[Int], l2: List[Int]) =>
  l1.size + l2.size == concatList(l1, l2).size
}

propConcatLists.check()

// -----------------------------

val propSqrt = Prop.forAll { (n: Int) => scala.math.sqrt(n*n) == n }

propSqrt.check()