nexmon – Rev 1

Subversion Repositories:
Rev:
#!/bin/sh

EXEEXT=@EXEEXT@

BOUND_TESTS="\
        basicLinear2.pwqp \
        basicLinear.pwqp \
        basicTestParameterPosNeg.pwqp \
        basicTest.pwqp \
        devos.pwqp \
        equality1.pwqp \
        equality2.pwqp \
        equality3.pwqp \
        equality4.pwqp \
        equality5.pwqp \
        faddeev.pwqp \
        linearExample.pwqp \
        neg.pwqp \
        philippe3vars3pars.pwqp \
        philippe3vars.pwqp \
        philippeNeg.pwqp \
        philippePolynomialCoeff1P.pwqp \
        philippePolynomialCoeff.pwqp \
        philippe.pwqp \
        product.pwqp \
        split.pwqp \
        test3Deg3Var.pwqp \
        toplas.pwqp \
        unexpanded.pwqp"

for i in $BOUND_TESTS; do
        echo $i;
        ./isl_bound$EXEEXT -T --bound=bernstein < $srcdir/test_inputs/$i || exit
        ./isl_bound$EXEEXT -T --bound=range < $srcdir/test_inputs/$i || exit
done