pip_test.sh.in

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