1#!/bin/sh 2 3EXEEXT=@EXEEXT@ 4srcdir=@srcdir@ 5 6BOUND_TESTS="\ 7 basicLinear2.pwqp \ 8 basicLinear.pwqp \ 9 basicTestParameterPosNeg.pwqp \ 10 basicTest.pwqp \ 11 devos.pwqp \ 12 equality1.pwqp \ 13 equality2.pwqp \ 14 equality3.pwqp \ 15 equality4.pwqp \ 16 equality5.pwqp \ 17 faddeev.pwqp \ 18 linearExample.pwqp \ 19 neg.pwqp \ 20 philippe3vars3pars.pwqp \ 21 philippe3vars.pwqp \ 22 philippeNeg.pwqp \ 23 philippePolynomialCoeff1P.pwqp \ 24 philippePolynomialCoeff.pwqp \ 25 philippe.pwqp \ 26 product.pwqp \ 27 split.pwqp \ 28 test3Deg3Var.pwqp \ 29 toplas.pwqp \ 30 unexpanded.pwqp" 31 32for i in $BOUND_TESTS; do 33 echo $i; 34 ./isl_bound$EXEEXT -T --bound=bernstein < $srcdir/test_inputs/$i || exit 35 ./isl_bound$EXEEXT -T --bound=range < $srcdir/test_inputs/$i || exit 36done 37