if sh ./$i >DIFF/$i.result
then
echo $i: passed.
+ rm -f DIFF/$i.result
passed=$(($passed + 1))
else
echo $i: failed.
if ./TESTonce $name $input $output "$options"
then
echo $name: passed.
+ rm -f DIFF/$output.diff
passed=$(($passed + 1))
echo $passed >.passed
else