bound.c: remove unused variable

[platform/upstream/isl.git] / pip_test.sh

diff --git a/pip_test.sh b/pip_test.sh
index 2d97a35..1d8d57a 100755 (executable)
--- a/pip_test.sh
+++ b/pip_test.sh
@@ -10,12 +10,15 @@ PIP_TESTS="\
        fimmel.pip \
        max.pip \
        negative.pip \
+       seghir-vd.pip \
        small.pip \
        sor1d.pip \
        square.pip \
-       sven.pip"
+       sven.pip \
+       tobi.pip"
 
 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