RosettaCodeData/Task/Best-shuffle/Scala/best-shuffle-3.scala
2023-07-01 13:44:08 -04:00

18 lines
455 B
Scala

object BestShuffleSpecification extends Properties("BestShuffle") {
property("size") = forAll { (src: String) =>
val s = Main.bestShuffle(src)
s._1.size == src.size
}
property("freq") = forAll { (src: String) =>
val s = Main.bestShuffle(src)
Main.freqMap(s._1.toList) == Main.freqMap(src.toList)
}
property("estimate") = forAll { (src: String) =>
val s = Main.bestShuffle(src)
Main.estimate(src.toList) == s._2
}
}