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