regtests.sh 437 Bytes
Newer Older
1 2 3
#!/bin/sh
# regression tests for why3

4
cd `dirname $0`
5

6
TMP=/tmp/why3regtests.out
MARCHE Claude's avatar
MARCHE Claude committed
7
res=0
8 9

run_dir () {
10 11 12
    for f in `ls $1/*/why3session.xml`; do
        d=`dirname $f`
	echo -n "Replaying "$d"... "
MARCHE Claude's avatar
MARCHE Claude committed
13
	if ! ../bin/why3replayer $d 2>/dev/null > $TMP ; then
14 15
	    echo "FAILED:"
	    cat $TMP
MARCHE Claude's avatar
MARCHE Claude committed
16
	    res=1
17 18 19 20 21 22 23
	else
	    echo "OK"
	fi
    done
}

echo "=== Logic ==="
24
run_dir .
25 26
echo ""

27 28
echo "=== Programs ==="
run_dir programs
29 30
echo ""

MARCHE Claude's avatar
MARCHE Claude committed
31 32
exit $res

33