import Test.Tasty
import qualified Test.Tasty.QuickCheck as QC
prop1 :: TestTree
prop1 = QC.testProperty "read_empty" $ \a ->
lookup a (empty :: Map Int String) == Nothing
Steuerung der Zufallswerte-Generierung
instance (Ord a, QC.Arbitrary a, QC.Arbitrary b) =>
QC.Arbitrary (Map a b) where