src/test/scala/doko/model/NormalesSpielProperties.scala

   1 package doko.model
   2
   3 import org.scalacheck._
   4 import Prop._
   5 import Gen._
   6
   7 object NormalesSpielProperties extends Properties("Karten und Regeln normales Spiel") {
   8
   9     val kartenGen: Gen[Karte] = for {
  10         f <- oneOf(Farbe.values.toSeq)
  11         w <- oneOf(Wert.values.toSeq)
  12         r <- oneOf(Rueckseite.values.toSeq)
  13     } yield Karte(f, w, r)
  14
  15     property("Regeln vollständig") = forAll(kartenGen, kartenGen) { (erste: Karte, zweite: Karte) =>
  16         try {
  17             NormalesSpiel.regeln(erste, zweite)
  18             true
  19         } catch {
  20             case _ => false
  21         }
  22     }
  23 }