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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
|
#!/bin/bash
## Driver to run the automatic tests. Do not call this directly,
## use run.sh instead
. `dirname $0`/../../scripts/CONFIG.sh
print_header "CLI"
parse_opts "$@"
orig_tests=${tests}
tests=${tests:-*}
setup_traces
GPS_CLI=gps_cli
GPS_CLI="$valgrind$gdb $GPS_CLI"
if [ "$XREF" = "yes" ]; then
GNATINSPECT="gnatinspect --exit"
else
GNATINSPECT="true"
fi
export GPS_CLI NUMPROCS valgrind gdb GNATINSPECT
## If the environment variable CLEANUP is set to 0, then we keep the
## .gps directory as is. In particular, this can be used to preserve the desktop
## (show the Python console) while debugging tests
cleanup_before_tests=${CLEANUP:-1}
export PATH=$testpwd/../obj/$OBJ_SUBDIR:"$PATH"
GPS_HOME=$testpwd/tmp_home
export PYTHONPATH=$testpwd${DIRSEP}$testpwd/../../share/library${DIRSEP}$testpwd/../../examples/python${DIRSEP}$PYTHONPATH
run_test ()
{
dir=$1
num=$2
(
## Create the home directory, in order to avoid pop-up dialogs in the
## first launch of GPS. We recreate it from scratch so that each test
## really is independent from the others
create_gps_home "$GPS_HOME.$num/"
cd $testpwd/$dir
# Drop per project messages files
find . -name '*-msg.xml' -exec rm -f {} \;
setup_traces
out=out.$$.$num
rm -f gnatinspect.*
if [ -f test.cmd -o -f test.py ]; then
if [ $silent -eq 0 ]; then
print_header "$dir"
fi
if [ -f test.cmd ]; then
if [ "$gdb" != "" ]; then
$rlimit bash ./test.cmd
else
$rlimit bash ./test.cmd > $out 2>&1
fi
status=$?
# Restore permissions in case test.cmd modified them (see
# e.g. F502-040) and timed out
chmod -R +w .
else
if [ "$gdb" != "" ] ; then
$rlimit $GPS_CLI -Pdefault --load=python:test.py
elif [ "$valgrind" != "" ]; then
$rlimit $GPS_CLI -Pdefault --load=python:test.py >$out 2>&1
else
$rlimit $GPS_CLI -Pdefault --load=python:test.py >$out 2>&1
fi
status=$?
fi
# check for the presence of a "time.out" file, or "perf.out"
if [ -f time.out ]; then
time=`cat time.out`
rm time.out
if [ $silent -eq 0 ]; then
echo "time:" $time s
fi
elif [ -f perf.out ]; then
time=`cat perf.out`
rm perf.out
if [ $silent -eq 0 ]; then
echo $time
fi
time=`echo $time | cut -d' ' -f2`
else
time=""
fi
if [ -f expected ]; then
tr -d '\r' < $out > $out.stripped
diff -u expected $out.stripped > $out
fi
if [ $status -eq 99 ]; then
## Not run
if [ $silent -eq 0 ]; then
echo_with_status 99
fi
if [ "$REPORTER" != "" ]; then
$REPORTER cli.$dir "DEAD" /dev/null "Test not run"
fi
elif [ $status -eq 100 ]; then
## XFAIL
if [ $silent -eq 0 ]; then
echo_with_status 100
fi
if [ "$REPORTER" != "" ]; then
$REPORTER cli.$dir "XFAIL" $out "$time"
fi
elif [ $status -ne 0 -o -s $out ]; then
if [ $silent -eq 1 ]; then
print_header "$dir"
fi
echo_with_status 0
if [ "$REPORTER" != "" ]; then
$REPORTER cli.$dir "DIFF" $out
fi
cat $out
else
## Success
if [ $silent -eq 0 -a "$GPS_PERFORMANCE" != "true" ]; then
echo_with_status 1
cat $out # To see the traces
fi
if [ "$REPORTER" != "" ]; then
$REPORTER cli.$dir "OK" /dev/null "" "$time"
fi
fi
rm -f $out $out.stripped
elif [ $silent -eq 0 ]; then
echo_with_status 1 "====== $dir: nothing to run"
fi
if [ $header_line_terminated -eq 1 ]; then
touch $testpwd/.header_line_terminated
fi
return $retry
)
}
# run all tests
rm -f $testpwd/.header_line_terminated
if [ $silent -eq 0 ]; then
echo
fi
for dir in $tests; do
cd $testpwd
if [ -d $dir \
-a "$GPS_TEST_CONTEXT" = "nightly" \
-a -f $dir/DO_NOT_RUN_NIGHTLY ]
then
if [ $silent = 0 ]; then
echo_with_status 1 "====== $dir: not run nightly"
fi
elif [ -f $dir/DO_NOT_RUN ]; then
if [ $silent = 0 ]; then
echo_with_status 1 "====== $dir: not run"
fi
elif [ -d $dir ]; then
run_test $dir
fi
done
wait
[ $cleanup_before_tests -eq 1 ] && rm -rf tmp_home*
if [ -f $testpwd/.header_line_terminated ]; then
header_line_terminated=1
rm -f $testpwd/.header_line_terminated
fi
echo_with_status 1 ""
|
