pip_test.sh.in

   1 #!/bin/sh
   2
   3 EXEEXT=@EXEEXT@
   4
   5 PIP_TESTS="\
   6         boulet.pip \
   7         brisebarre.pip \
   8         cg1.pip \
   9         esced.pip \
  10         ex2.pip \
  11         ex.pip \
  12         exist.pip \
  13         exist2.pip \
  14         fimmel.pip \
  15         max.pip \
  16         negative.pip \
  17         seghir-vd.pip \
  18         small.pip \
  19         sor1d.pip \
  20         square.pip \
  21         sven.pip \
  22         tobi.pip"
  23
  24 for i in $PIP_TESTS; do
  25         echo $i;
  26         ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit
  27         ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit
  28         ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit
  29         ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit
  30 done