#!/afs/ece/usr/tcl/bin/wisha -f
# A BETH testing routine, calls beth while setting beth_dir to
# BETH's testing directory.

set beth_dir /usr/users/svoboda/src/beth
set beth_exec [info script]
source $beth_dir/beth.tcl
