add isl_printer
[isl.git] / pip_test.sh
blob2d97a3526d6af3466ec1432f2b6e373346ba318c
1 #!/bin/sh
3 PIP_TESTS="\
4 boulet.pip \
5 brisebarre.pip \
6 cg1.pip \
7 esced.pip \
8 ex2.pip \
9 ex.pip \
10 fimmel.pip \
11 max.pip \
12 negative.pip \
13 small.pip \
14 sor1d.pip \
15 square.pip \
16 sven.pip"
18 for i in $PIP_TESTS; do
19 echo $i;
20 ./isl_pip$EXEEXT -T < $srcdir/test_inputs/$i || exit
21 done