From 6f604b19d3f5966e5c1d7c4fdf3703bd6ff0861c Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 16 Apr 2015 21:22:20 +0200 Subject: update to fp2 yay, public and licence --- fp1/week2/mart/StdTTest.icl | 45 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 fp1/week2/mart/StdTTest.icl (limited to 'fp1/week2/mart/StdTTest.icl') diff --git a/fp1/week2/mart/StdTTest.icl b/fp1/week2/mart/StdTTest.icl new file mode 100644 index 0000000..6af64fc --- /dev/null +++ b/fp1/week2/mart/StdTTest.icl @@ -0,0 +1,45 @@ +module StdTTest + +/* Test module StdTTest + Voor werken met Gast: + (*) gebruik Environment 'Gast' + (*) zet Project Options op 'Basic Values Only' +*/ + +import StdT +import StdEnv +import gast + +Start + = testn 1000 + (\ i -> + gelijkheid_is_symmetrisch i /\ + ordening_is_monotoon i /\ + negatieve_tijd_bestaat_niet i /\ + omzetten_naar_Int_is_consistent i /\ + parse_print_is_consistent i /\ + True + ) + +t :: Int -> T +t x = fromInt x + +gelijkheid_is_symmetrisch :: Int -> Property +gelijkheid_is_symmetrisch i = name "gelijkheid_is_symmetrisch" + (t i == t i) + +ordening_is_monotoon :: Int -> Property +ordening_is_monotoon i = name "ordening_is_monotoon" + ((i <= i+1) ==> t i <= t (i+1)) + +negatieve_tijd_bestaat_niet :: Int -> Property +negatieve_tijd_bestaat_niet i = name "negatieve_tijd_bestaat_niet" + ((i + 1 >= i) ==> t i - t (i+1) == zero) + +omzetten_naar_Int_is_consistent :: Int -> Property +omzetten_naar_Int_is_consistent i = name "omzetten_naar_Int_is_consistent" + ((abs i >= 0) ==> toInt (t (abs i)) == abs i) + +parse_print_is_consistent :: Int -> Property +parse_print_is_consistent i = name "parse_print_is_consistent" + (fromString (toString (t i)) == t i) -- cgit v1.2.3