add isl_constraint_is_{lower,upper}_bound
[platform/upstream/isl.git] / pip_test.sh.in
1 #!/bin/sh
2
3 EXEEXT=@EXEEXT@
4
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"
21
22 for 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
28 done