add isl_basic_set_lexmin_compute_divs
[isl.git] / bound_test.sh.in
blobe3fc037ecafab0c296ff04a93f473b5da2dfc862
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
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"
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