1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# for MAXNESTING testing
function recurse (n) {
if (n > 0) recurse (n-1);
println(n)
}
probe begin {
recurse (7)
}
# for MAXACTION testing
probe begin {
for (i=0; i<498; i++) {}
}
global array
# for MAXMAPENTRIES testing
probe begin {
i=0
while (i<20) {
array[i]=100
i++
}
}
# for MAXSTRINGLEN testing
probe begin {
s = "12345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678" # last 8 will be \0'd
if (strlen(s) < 127) error ("MAXSTRINGLEN reduced")
if (strlen(s) > 127) error ("MAXSTRINGLEN enlarged")
}
probe begin { exit () }
|
