3
# Run this with 'expected' as the argument to update the
4
# expected dir which should be stored in version control.
6
# test.sh will run it with 'results' and diff the two when
10
test_charms=$home/../charms
12
for i in $test_charms/* ; do
13
$home/../../scripts/proof $i > $home/$1/`basename $i`