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_map.c: remove unused variables
[isl.git]
/
pip_test.sh
blob
1d8d57a2e21d1513ebe09f898f87e905ef4c695c
1
#!/bin/sh
2
3
PIP_TESTS
=
"\
4
boulet.pip \
5
brisebarre.pip \
6
cg1.pip \
7
esced.pip \
8
ex2.pip \
9
ex.pip \
10
fimmel.pip \
11
max.pip \
12
negative.pip \
13
seghir-vd.pip \
14
small.pip \
15
sor1d.pip \
16
square.pip \
17
sven.pip \
18
tobi.pip"
19
20
for
i
in
$PIP_TESTS
;
do
21
echo
$i
;
22
.
/
isl_pip
$EXEEXT
--context
=
gbr
-T
<
$srcdir
/
test_inputs
/
$i
||
exit
23
.
/
isl_pip
$EXEEXT
--context
=
lexmin
-T
<
$srcdir
/
test_inputs
/
$i
||
exit
24
done