add isl_pw_*_plain_is_equal
[isl.git] / pip_test.sh.in
blobcdc5fb97085e443821d63274bbc00f08fbfa3dd3
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
5 PIP_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"
22 for i in $PIP_TESTS; do
23 echo $i;
24 ./isl_pip$EXEEXT --context=gbr -T < $srcdir/test_inputs/$i || exit
25 ./isl_pip$EXEEXT --context=lexmin -T < $srcdir/test_inputs/$i || exit
26 done