bound_test.sh

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