update isl to version 0.24
[pet.git] / pet_test.sh.in
blobd8a7113155c98f38205bb67fe46449dbd27c5bf0
1 #!/bin/sh
3 EXEEXT=@EXEEXT@
4 srcdir=@srcdir@
6 for i in $srcdir/tests/*.c; do
7 echo $i;
8 (./pet$EXEEXT $i > test.scop &&
9 ./pet_scop_cmp$EXEEXT test.scop ${i%.c}.scop) || exit
10 done
12 for i in $srcdir/tests/autodetect/*.c; do
13 echo $i;
14 (./pet$EXEEXT --autodetect $i > test.scop &&
15 ./pet_scop_cmp$EXEEXT test.scop ${i%.c}.scop) || exit
16 done
18 for i in $srcdir/tests/encapsulate/*.c; do
19 echo $i;
20 (./pet$EXEEXT --encapsulate-dynamic-control $i > test.scop &&
21 ./pet_scop_cmp$EXEEXT test.scop ${i%.c}.scop) || exit
22 done
24 rm test.scop