blob: 6ba3ce6f04a1cdd9f97b2ad24f086d1856c412fc (
plain)
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
|
#!/usr/bin/env bash
set -e
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd "$DIR"
SAILDIR="$DIR/../.."
rm -f "$DIR/tests.xml"
# shellcheck source=../test_helpers.sh
source "$SAILDIR/test/test_helpers.sh"
printf "<testsuites>\n" >> "$DIR/tests.xml"
find . -name '*.sail' -print0 | while IFS= read -r -d '' line; do
echo "$line"
done
for testfile in *.sail; do
temp_dir=$(mktemp -d)
trap 'rm -rf $temp_dir' 0 2 3 15
if (cd "$temp_dir" && "$SAILDIR/sail" -o "out" -latex "$DIR/$testfile"); then
# compare with expected files
exp_prefix=${testfile//.sail/}
errmsg="Missing .exp files for $testfile?"
for expected in "${exp_prefix}"*.exp; do
echo "expected=$expected"
# remove prefix and suffix
exp_file_name=${expected//${exp_prefix}./}
generated_file="$temp_dir/out/${exp_file_name//.exp/}"
if [ ! -f "$generated_file" ]; then
errmsg="missing expected output $generated_file"
break;
elif ! diff -q "$generated_file" "$expected"; then
diff -u "$generated_file" "$expected" || true
errmsg="output is different"
break
else
errmsg=""
fi
done
if [ -z "$errmsg" ]; then
green "LaTeX for $testfile" "ok"
else
yellow "LaTeX for $testfile" "$errmsg"
fi;
else
red "failed to generate latex for $testfile" "fail"
fi
rm -rf "$temp_dir"
done
finish_suite "LaTeX testing"
printf "</testsuites>\n" >> "$DIR/tests.xml"
|
