projects
/
platform
/
upstream
/
isl.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
add isl_set_substitute
[platform/upstream/isl.git]
/
pip_test.sh.in
1
#!/bin/sh
2
3
EXEEXT=@EXEEXT@
4
5
PIP_TESTS="\
6
boulet.pip \
7
brisebarre.pip \
8
cg1.pip \
9
esced.pip \
10
ex2.pip \
11
ex.pip \
12
fimmel.pip \
13
max.pip \
14
negative.pip \
15
seghir-vd.pip \
16
small.pip \
17
sor1d.pip \
18
square.pip \
19
sven.pip \
20
tobi.pip"
21
22
for i in $PIP_TESTS; do
23
echo $i;
24
./isl_pip$EXEEXT --context=gbr -T < $srcdir/test_inputs/$i || exit
25
./isl_pip$EXEEXT --context=lexmin -T < $srcdir/test_inputs/$i || exit
26
done