petit: make argument of Write const
[omega.git] / petit / demo / petit-rt
blobf1a82a6ecf91ffe0a4cb146fb3d14c0f39a6ccfc
1 #!/bin/csh -f
3 echo Starting petit regression test...
5 foreach t (*.t)
6 set b = `basename $t .t`
7 echo $t dependence differences:
8 ../obj/petit -R$b.tmp $t
9 diff $b.dep_diffs $b.tmp
10 echo $t dependence relations:
11 ../obj/petit -b -R$b.tmp $t
12 diff $b.dep_rels $b.tmp
13 rm $b.tmp
14 end