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