files/practicum/ZFZoekTest.icl

   1 module ZFZoekTest
   2
   3 /*      Test module ZFZoek
   4         Voor werken met Gast:
   5                 (*) gebruik Environment 'Gast'
   6                 (*) zet Project Options op 'Basic Values Only'
   7 */
   8 import gast
   9 import ZFZoek
  10
  11 Start
  12                                                                                 = testn 1000
  13                                                                                         (\m n ->
  14                                                                                             let l = [1 .. n bitand 0xFF] in
  15                                                                                             elementen_worden_gevonden             l /\
  16                                                                                             niet_elementen_worden_niet_gevonden m l /\
  17                                                                                             True
  18                                                                                         )
  19
  20 elementen_worden_gevonden                               :: [Int] -> Property
  21 elementen_worden_gevonden l                             = name "elementen worden gevonden"
  22                                                                                         (ForEach l (\x -> let i = l??x in 0 <= i && i < length l && l!!i == x))
  23
  24 niet_elementen_worden_niet_gevonden             :: Int [Int] -> Property
  25 niet_elementen_worden_niet_gevonden m l = name "niet-elementen worden niet gevonden"
  26                                                                                         (not (isMember m l)) ==> l??m == -1