pet_context_evaluate_expr: first insert domain
[pet.git] / pet_test.sh.in
blobe136216ade6446470d621f3a0e7fd09b61190e6f
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