isl_pip: allow existentially quantified variables in the context
[isl.git] / pip_test.sh.in
blobd8479c08287fd80c957ebd548604bf1fdbf0c719
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 exist.pip \
13 fimmel.pip \
14 max.pip \
15 negative.pip \
16 seghir-vd.pip \
17 small.pip \
18 sor1d.pip \
19 square.pip \
20 sven.pip \
21 tobi.pip"
23 for i in $PIP_TESTS; do
24 echo $i;
25 ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit
26 ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit
27 ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit
28 ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit
29 done