#!/bin/tcsh -f

foreach calfile ( `ls {.,examples}/*.cal` )
    echo "Running with cal file : $calfile" >> result
    ./bddcalc $calfile | egrep -v '^Garbage collection' >> result
end

