3 /* Test module StdTTest
5 (*) gebruik Environment 'Gast'
6 (*) zet Project Options op 'Basic Values Only'
16 gelijkheid_is_symmetrisch i /\
17 ordening_is_monotoon i /\
18 negatieve_tijd_bestaat_niet i /\
19 omzetten_naar_Int_is_consistent i /\
20 parse_print_is_consistent i /\
27 gelijkheid_is_symmetrisch :: Int -> Property
28 gelijkheid_is_symmetrisch i = name "gelijkheid_is_symmetrisch"
31 ordening_is_monotoon :: Int -> Property
32 ordening_is_monotoon i = name "ordening_is_monotoon"
33 ((i <= i+1) ==> t i <= t (i+1))
35 negatieve_tijd_bestaat_niet :: Int -> Property
36 negatieve_tijd_bestaat_niet i = name "negatieve_tijd_bestaat_niet"
37 ((i + 1 >= i) ==> t i - t (i+1) == zero)
39 omzetten_naar_Int_is_consistent :: Int -> Property
40 omzetten_naar_Int_is_consistent i = name "omzetten_naar_Int_is_consistent"
41 ((abs i >= 0) ==> toInt (t (abs i)) == abs i)
43 parse_print_is_consistent :: Int -> Property
44 parse_print_is_consistent i = name "parse_print_is_consistent"
45 (fromString (toString (t i)) == t i)