repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_dim_range_product: dimension names of domains don't need to match
[isl.git]
/
pip_test.sh.in
blob
cdc5fb97085e443821d63274bbc00f08fbfa3dd3
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