# cbshell testModel.cbs <modelname>
#
# CBShell script to test a single DDI example model. It is assumed that
# the example model is stored in directory Examples/<modelname>.sml.txt
# Example call:  cbshell testModel.cbs E1


# start a cbserver 
cbserver -t no -e -1 

tellModel DualDeep_Part1.sml.txt

tell '$1 in Module end' 
cd $1

tellModel Examples/$1.sml.txt
tellModel DualDeep_Part2.sml.txt
showAnswer
why

stop