32 lines · plain
1#!/bin/sh2 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; do26 echo $i;27 ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit28 ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit29 ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit30 ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit31done32