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