blob: 2cff4231c84d6cd8cea596fb7be3ee85841d1bba (
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
|
#!/bin/bash -e
exit_code=0
[ -z "$SOLVER" ] && SOLVER="$PWD/test-solver"
XFAILS="$PWD/test/xfails"
test_fail() {
t="$(basename $1)"
if grep -q "$t" "$XFAILS" ; then
echo -e "$t: "'[\e[34;1mXFAIL\e[0m]'
else
echo -e "$t: "'[\e[31;1mFAIL\e[0m]'
fi
}
test_pass() {
t="$(basename $1)"
echo -e "$t: "'[\e[32;1mPASS\e[0m]'
}
for t in test/*-* ; do
pushd "$t" >/dev/null
if ! "$SOLVER" >/dev/null ; then
test_fail "$t"
exit_code=1
else
test_pass "$t"
fi
popd >/dev/null
done
exit "$exit_code"
|