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