blob: 93d3a59458269020e43dd47cd59300a331246612 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
import org.scalacheck._
import Prop._
object Test {
val prop_ConcatLists =
property((l1: List[Int], l2: List[Int]) => (l1.size + l2.size) == (l1 ::: l2).size)
val tests = List(("ConcatLists", prop_ConcatLists))
}
|