projects
/
platform
/
upstream
/
isl.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
add isl_bound test application
[platform/upstream/isl.git]
/
bound_test.sh
1
#!/bin/sh
2
3
BOUND_TESTS="\
4
basicLinear2.pwqp \
5
basicLinear.pwqp \
6
basicTestParameterPosNeg.pwqp \
7
basicTest.pwqp \
8
devos.pwqp \
9
equality1.pwqp \
10
equality2.pwqp \
11
equality3.pwqp \
12
equality4.pwqp \
13
equality5.pwqp \
14
faddeev.pwqp \
15
linearExample.pwqp \
16
neg.pwqp \
17
philippe3vars3pars.pwqp \
18
philippe3vars.pwqp \
19
philippeNeg.pwqp \
20
philippePolynomialCoeff1P.pwqp \
21
philippePolynomialCoeff.pwqp \
22
philippe.pwqp \
23
product.pwqp \
24
split.pwqp \
25
test3Deg3Var.pwqp \
26
toplas.pwqp \
27
unexpanded.pwqp"
28
29
for i in $BOUND_TESTS; do
30
echo $i;
31
./isl_bound$EXEEXT -T < $srcdir/test_inputs/$i || exit
32
done