summaryrefslogtreecommitdiff
path: root/cloog-0.16.3/isl/bound_test.sh.in
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.16.3/isl/bound_test.sh.in')
-rwxr-xr-xcloog-0.16.3/isl/bound_test.sh.in35
1 files changed, 0 insertions, 35 deletions
diff --git a/cloog-0.16.3/isl/bound_test.sh.in b/cloog-0.16.3/isl/bound_test.sh.in
deleted file mode 100755
index e3fc037..0000000
--- a/cloog-0.16.3/isl/bound_test.sh.in
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/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