check_enumerate_e.sh.in

   1 #!/bin/sh
   2
   3 EXEEXT="@EXEEXT@"
   4 top_srcdir="@top_srcdir@"
   5
   6 BEE_TESTDIRS="ehrhart_e ehrhart_e/scarf ehrhart_e/piplib"
   7
   8 for dir in $BEE_TESTDIRS; do
   9     for i in "$top_srcdir"/tests/$dir/*; do
  10         if test -f $i; then
  11             for options in '' '--isl'; do
  12                 for spec in 'random' 'bf' 'df'; do
  13                     opt="--specialization=$spec $options";
  14                     echo $i $opt;
  15                     ./barvinok_enumerate_e$EXEEXT --verify $opt < $i || exit;
  16                 done
  17             done
  18         fi
  19     done
  20 done
  21 for i in "$top_srcdir"/tests/ehrhart_e/scarf/*; do
  22     if test -f $i; then
  23         for spec in 'random' 'bf' 'df'; do
  24             opt="--specialization=$spec --scarf";
  25             echo $i $opt;
  26             ./barvinok_enumerate_e$EXEEXT --verify $opt < $i || exit;
  27         done;
  28         echo $i --series;
  29         ./barvinok_enumerate_e$EXEEXT --verify --series < $i || exit;
  30     fi
  31 done