1#!/bin/sh 2 3EXEEXT=@EXEEXT@ 4srcdir=@srcdir@ 5 6PIP_TESTS="\ 7 boulet.pip \ 8 brisebarre.pip \ 9 cg1.pip \ 10 esced.pip \ 11 ex2.pip \ 12 ex.pip \ 13 exist.pip \ 14 exist2.pip \ 15 fimmel.pip \ 16 max.pip \ 17 negative.pip \ 18 seghir-vd.pip \ 19 small.pip \ 20 sor1d.pip \ 21 square.pip \ 22 sven.pip \ 23 tobi.pip" 24 25for i in $PIP_TESTS; do 26 echo $i; 27 ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit 28 ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit 29 ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit 30 ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit 31done 32