isl_aff.c: pw_multi_aff_from_map_plug_in: extract isl_aff_as_domain_extension
[isl.git] / pip_test.sh.in
blob5f36b776f96316aa6fe72fcd9721b35a5b6f3724
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
4 srcdir=@srcdir@
6 PIP_TESTS="\
7 boulet.pip \
8 brisebarre.pip \
9 cg1.pip \
10 esced.pip \
11 ex2.pip \
12 ex.pip \
13 exist.pip \
14 exist2.pip \
15 fimmel.pip \
16 max.pip \
17 negative.pip \
18 seghir-vd.pip \
19 small.pip \
20 sor1d.pip \
21 square.pip \
22 sven.pip \
23 tobi.pip"
25 for i in $PIP_TESTS; do
26 echo $i;
27 ./isl_pip$EXEEXT --format=set --context=gbr -T < $srcdir/test_inputs/$i || exit
28 ./isl_pip$EXEEXT --format=set --context=lexmin -T < $srcdir/test_inputs/$i || exit
29 ./isl_pip$EXEEXT --format=affine --context=gbr -T < $srcdir/test_inputs/$i || exit
30 ./isl_pip$EXEEXT --format=affine --context=lexmin -T < $srcdir/test_inputs/$i || exit
31 done