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

---
 1415/files/practicum/ZFZoekTest.icl | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 1415/files/practicum/ZFZoekTest.icl

(limited to '1415/files/practicum/ZFZoekTest.icl')

diff --git a/1415/files/practicum/ZFZoekTest.icl b/1415/files/practicum/ZFZoekTest.icl
new file mode 100644
index 0000000..f45d2a9
--- /dev/null
+++ b/1415/files/practicum/ZFZoekTest.icl
@@ -0,0 +1,26 @@
+module ZFZoekTest
+
+/*	Test module ZFZoek
+	Voor werken met Gast:
+		(*) gebruik Environment 'Gast'
+		(*) zet Project Options op 'Basic Values Only'
+*/
+import gast
+import ZFZoek
+
+Start
+										= testn 1000
+											(\m n ->
+											    let l = [1 .. n bitand 0xFF] in
+											    elementen_worden_gevonden             l /\
+											    niet_elementen_worden_niet_gevonden m l /\
+											    True
+											)
+
+elementen_worden_gevonden				:: [Int] -> Property
+elementen_worden_gevonden l				= name "elementen worden gevonden" 
+											(ForEach l (\x -> let i = l??x in 0 <= i && i < length l && l!!i == x))
+
+niet_elementen_worden_niet_gevonden		:: Int [Int] -> Property
+niet_elementen_worden_niet_gevonden m l	= name "niet-elementen worden niet gevonden"
+											(not (isMember m l)) ==> l??m == -1
-- 
cgit v1.2.3