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