test both context handling mechanisms of isl_pip
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 5 Feb 2011 15:48:07 +0000 (16:48 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 5 Feb 2011 19:47:27 +0000 (20:47 +0100)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
pip_test.sh

index caba3ef..9e5647b 100755 (executable)
@@ -18,5 +18,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