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
37
|
#
# Tests for functions defined in src/stats.c
#
gap> START_TEST("kernel/stats.tst");
# test checks in ExecForRangeHelper
gap> f := function(a) local x; for x in [a..1] do od; end;;
gap> f('x');
Error, Range: <first> must be an integer (not a character)
gap> f := function(a) local x; for x in [1..a] do od; end;;
gap> f('x');
Error, Range: <last> must be an integer (not a character)
# test Assert with two arguments
gap> function() Assert(0, 0); end();
Error, Assertion condition must evaluate to 'true' or 'false', not a integer
gap> function() Assert(0, true); end();
gap> function() Assert(0, false); end();
Error, Assertion failure
gap> function() Assert(100, 0); end();
gap> function() Assert(100, true); end();
gap> function() Assert(100, false); end();
# test Assert with three arguments
gap> function() Assert(0, 0, "message\n"); end();
Error, Assertion condition must evaluate to 'true' or 'false', not a integer
gap> function() Assert(0, true, "message\n"); end();
gap> function() Assert(0, false, "message\n"); end();
message
gap> function() Assert(0, false, 1); Print("\n"); end(); # message can also be any object
1
gap> function() Assert(100, 0, "message\n"); end();
gap> function() Assert(100, true, "message\n"); end();
gap> function() Assert(100, false, "message\n"); end();
#
gap> STOP_TEST("kernel/stats.tst", 1);
|
