From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 files/practicum/StdTTest.icl | 45 --------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 files/practicum/StdTTest.icl

(limited to 'files/practicum/StdTTest.icl')

diff --git a/files/practicum/StdTTest.icl b/files/practicum/StdTTest.icl
deleted file mode 100644
index 6af64fc..0000000
--- a/files/practicum/StdTTest.icl
+++ /dev/null
@@ -1,45 +0,0 @@
-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