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
|
#!/bin/bash
# re-sanitize.sh: re-run the console log sanitizer scripts for one test
#
# The current directory should be a specific test's directory.
# Synopsis: cd TEST ; ../../utils/re-sanitize.sh
#
# The files:
#
# OUTPUT/${host}.console.verbose.txt
# OUTPUT/${host}.pluto.log
#
# will be used to create a new OUTPUT/${host}.console.txt and
# OUTPUT/${host}.console.diff
#
# If every ${host}.console.txt file has a corresponding, and empty,
# OUTPUT/${host}.console.diff file, then the test finished and passed.
#
# Note: while leaving empty console.diff files around is somewhat
# annoying it is backward compatible and makes verifying completion
# easier.
set -ue
# Assuming that this script is in testing/utils, find the top-level
# directory.
LIBRESWANSRCDIR=$(dirname $(dirname $(dirname $(readlink -f $0))))
if [ ! -d OUTPUT ]; then
echo "$0: no OUTPUT subdirectory. Is `pwd` a test directory?" >&2
exit 1
fi
if [ -f ./testparams.sh ]; then
. ./testparams.sh
else
. ${LIBRESWANSRCDIR}/testing/default-testparams.sh
fi
. $LIBRESWANSRCDIR/testing/pluto/setup.sh
failure=0
check_console_log_for()
{
if grep "$1" OUTPUT/${host}.console.txt >> OUTPUT/${host}.console.tmp; then
echo "# ${host} $1"
failure=1
fi
}
check_pluto_log_for()
{
if test -r OUTPUT/${host}.pluto.log; then
if grep "$1" OUTPUT/${host}.pluto.log >> OUTPUT/${host}.console.tmp; then
echo "# ${host} $1"
failure=1
fi
fi
}
for verbose in OUTPUT/*.console.verbose.txt ; do
if test ! -r "${verbose}" ; then
echo "OUTPUT does not contain .console.verbose.txt files" 1>&2
failure=1
break
fi
host=$(basename ${verbose} .console.verbose.txt)
if [ ! -f "${host}.console.txt" ]; then
continue
fi
# sanitize last run
fixedoutput=OUTPUT/${host}.console.txt
${LIBRESWANSRCDIR}/testing/utils/sanitizer.sh \
${verbose} \
$PWD \
${FIXUPDIR} ${FIXUPDIR2:-} \
> ${fixedoutput}
# generate the diff in .tmp
rm -f OUTPUT/${host}.console.tmp
touch OUTPUT/${host}.console.tmp
if diff -w -N -u ${host}.console.txt $fixedoutput > OUTPUT/${host}.console.tmp; then
echo "# ${host} Console output matched"
else
echo "# ${host} Console output differed"
failure=1
fi
check_console_log_for '^CORE FOUND'
check_console_log_for SEGFAULT
check_console_log_for GPFAULT
check_pluto_log_for 'ASSERTION FAILED'
check_pluto_log_for 'EXPECTATION FAILED'
# this blats CORE into all the .diff files; better than nothing
for i in OUTPUT/core* ; do
if [ -f "$i" ] ; then
echo "# CORE: $i"
echo "$i " >> OUTPUT/${host}.console.tmp
fi
done
mv OUTPUT/${host}.console.tmp OUTPUT/${host}.console.diff
done
if [ $failure -eq 0 ]; then
echo "$(basename $(pwd)): passed"
exit 0
else
echo "$(basename $(pwd)): FAILED"
exit 1
fi
|
