check_enumerate.sh.in

   1 #!/bin/sh
   2
   3 EXEEXT="@EXEEXT@"
   4 top_srcdir="@top_srcdir@"
   5 TOPCOM_CD=@TOPCOM_CD@
   6
   7 ISL_CD='--chamber-decomposition=isl'
   8 for i in "$top_srcdir"/tests/ehrhart/*; do
   9     if test -f $i; then
  10         echo $i;
  11         for options in '' '--series' '--series --primal' $TOPCOM_CD $ISL_CD; do
  12             for spec in 'random' 'bf' 'df'; do
  13                 opt="--specialization=$spec $options";
  14                 echo "        $opt";
  15                 ./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
  16             done
  17         done;
  18         opt="--index=4";
  19         echo "        $opt";
  20         ./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
  21         opt="--summation=bernoulli";
  22         echo "        $opt";
  23         ./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
  24     fi
  25 done