test both context handling mechanisms of isl_pip
[platform/upstream/isl.git] / pip_test.sh
1 #!/bin/sh
2
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 \
17         tobi.pip"
18
19 for i in $PIP_TESTS; do
20         echo $i;
21         ./isl_pip$EXEEXT --context=gbr -T < $srcdir/test_inputs/$i || exit
22         ./isl_pip$EXEEXT --context=lexmin -T < $srcdir/test_inputs/$i || exit
23 done