split off declarations for isl_aff and isl_pw_aff to separate file
[platform/upstream/isl.git] / pip_test.sh
index caba3ef..1d8d57a 100755 (executable)
@@ -10,6 +10,7 @@ PIP_TESTS="\
        fimmel.pip \
        max.pip \
        negative.pip \
+       seghir-vd.pip \
        small.pip \
        sor1d.pip \
        square.pip \
@@ -18,5 +19,6 @@ PIP_TESTS="\
 
 for i in $PIP_TESTS; do
        echo $i;
-       ./isl_pip$EXEEXT -T < $srcdir/test_inputs/$i || exit
+       ./isl_pip$EXEEXT --context=gbr -T < $srcdir/test_inputs/$i || exit
+       ./isl_pip$EXEEXT --context=lexmin -T < $srcdir/test_inputs/$i || exit
 done