Blame isl-0.14/bound_test.sh.in
|
Packit |
fb9d21 |
#!/bin/sh
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
EXEEXT=@EXEEXT@
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
BOUND_TESTS="\
|
|
Packit |
fb9d21 |
basicLinear2.pwqp \
|
|
Packit |
fb9d21 |
basicLinear.pwqp \
|
|
Packit |
fb9d21 |
basicTestParameterPosNeg.pwqp \
|
|
Packit |
fb9d21 |
basicTest.pwqp \
|
|
Packit |
fb9d21 |
devos.pwqp \
|
|
Packit |
fb9d21 |
equality1.pwqp \
|
|
Packit |
fb9d21 |
equality2.pwqp \
|
|
Packit |
fb9d21 |
equality3.pwqp \
|
|
Packit |
fb9d21 |
equality4.pwqp \
|
|
Packit |
fb9d21 |
equality5.pwqp \
|
|
Packit |
fb9d21 |
faddeev.pwqp \
|
|
Packit |
fb9d21 |
linearExample.pwqp \
|
|
Packit |
fb9d21 |
neg.pwqp \
|
|
Packit |
fb9d21 |
philippe3vars3pars.pwqp \
|
|
Packit |
fb9d21 |
philippe3vars.pwqp \
|
|
Packit |
fb9d21 |
philippeNeg.pwqp \
|
|
Packit |
fb9d21 |
philippePolynomialCoeff1P.pwqp \
|
|
Packit |
fb9d21 |
philippePolynomialCoeff.pwqp \
|
|
Packit |
fb9d21 |
philippe.pwqp \
|
|
Packit |
fb9d21 |
product.pwqp \
|
|
Packit |
fb9d21 |
split.pwqp \
|
|
Packit |
fb9d21 |
test3Deg3Var.pwqp \
|
|
Packit |
fb9d21 |
toplas.pwqp \
|
|
Packit |
fb9d21 |
unexpanded.pwqp"
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
for i in $BOUND_TESTS; do
|
|
Packit |
fb9d21 |
echo $i;
|
|
Packit |
fb9d21 |
./isl_bound$EXEEXT -T --bound=bernstein < $srcdir/test_inputs/$i || exit
|
|
Packit |
fb9d21 |
./isl_bound$EXEEXT -T --bound=range < $srcdir/test_inputs/$i || exit
|
|
Packit |
fb9d21 |
done
|