blob: 1eca25d538b57a26662ad1e5426aee8485b471bd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
module ZFRemoveAtTest
/* Test module ZFRemoveAt
Voor werken met Gast:
(*) gebruik Environment 'Gast'
(*) zet Project Options op 'Basic Values Only'
*/
import gast
import ZFRemoveAt
Start
= testn 1000
(\m n ->
let l = [1 .. (n>>20)] in
identiek_aan_removeAt m l /\
True
)
identiek_aan_removeAt :: Int [Int] -> Property
identiek_aan_removeAt m l = name "identiek aan removeAt"
(removeAt m l == removeAt2 m l)
/\
(ForEach [1..length l] (\i -> removeAt i l == removeAt2 i l))
|
