add isl_band_split
[platform/upstream/isl.git] / bound_test.sh.in
1 #!/bin/sh
2
3 EXEEXT=@EXEEXT@
4
5 BOUND_TESTS="\
6         basicLinear2.pwqp \
7         basicLinear.pwqp \
8         basicTestParameterPosNeg.pwqp \
9         basicTest.pwqp \
10         devos.pwqp \
11         equality1.pwqp \
12         equality2.pwqp \
13         equality3.pwqp \
14         equality4.pwqp \
15         equality5.pwqp \
16         faddeev.pwqp \
17         linearExample.pwqp \
18         neg.pwqp \
19         philippe3vars3pars.pwqp \
20         philippe3vars.pwqp \
21         philippeNeg.pwqp \
22         philippePolynomialCoeff1P.pwqp \
23         philippePolynomialCoeff.pwqp \
24         philippe.pwqp \
25         product.pwqp \
26         split.pwqp \
27         test3Deg3Var.pwqp \
28         toplas.pwqp \
29         unexpanded.pwqp"
30
31 for i in $BOUND_TESTS; do
32         echo $i;
33         ./isl_bound$EXEEXT -T --bound=bernstein < $srcdir/test_inputs/$i || exit
34         ./isl_bound$EXEEXT -T --bound=range < $srcdir/test_inputs/$i || exit
35 done