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