files/practicum/ZFUpdateAtTest.icl

   1 module ZFUpdateAtTest
   2
   3 /*      Test module ZFUpdateAt
   4         Voor werken met Gast:
   5                 (*) gebruik Environment 'Gast'
   6                 (*) zet Project Options op 'Basic Values Only'
   7 */
   8 import gast
   9 import ZFUpdateAt
  10
  11 Start
  12                                                                                 = testn 1000
  13                                                                                         (\m n x ->
  14                                                                                             let l = [1 .. n bitand 0xFF] in
  15                                                                                             identiek_aan_updateAt m l x /\
  16                                                                                             True
  17                                                                                         )
  18
  19 identiek_aan_updateAt                                   :: Int [Int] Int -> Property
  20 identiek_aan_updateAt m l x                             = name "identiek aan updateAt"
  21                                                                                         (updateAt m x l == updateAt2 m x l)
  22                                                                                              /\
  23                                                                                         (ForEach [1 .. length l] (\i -> updateAt i x l == updateAt2 i x l))