#!/bin/tcsh -f

./bddtest > result
