37 lines · plain
1#!/bin/sh2 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; do33 echo $i;34 ./isl_bound$EXEEXT -T --bound=bernstein < $srcdir/test_inputs/$i || exit35 ./isl_bound$EXEEXT -T --bound=range < $srcdir/test_inputs/$i || exit36done37