pip_test.sh

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