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

4
cd `dirname $0`
5

6 7 8
TMP=/tmp/why3regtests.out

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

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

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