isl_tab_lexmin_add_eq: make sure the tableau has enough room
[isl.git] / pip_test.sh.in
blob28ad1ef42450c02576aa84f5f50118ae0a2ff0c2
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
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"
22 for i in $PIP_TESTS; do
23 echo $i;
24 ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit
25 ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit
26 ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit
27 ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit
28 done