bound_test.sh.in

   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