#!/bin/sh
# Execute a given cbshell script on all example DDI models
# call in this directory: loop <cbshell-script> [<prefix>]
# Example: loop testModel.cbs    (test all models)
#          loop exportModel.cbs E   (export all models matching E*.sml.txt)
#          loop testModel.cbs A*pos   (test all models matching A*pos*.sml.txt)

# positive example
EXSET=`ls Examples/$2*.sml.txt `

for EX in $EXSET
do
   EXNAME=`basename $EX .sml.txt`
   echo -n "$EXNAME: "
   cbshell $1 $EXNAME
done