# /bin/bash
. ~/.bashrc
function failed {
     echo "FAILED TEST! " $*
     exit 1
}

if [ "$1" != "" ] ; then 
  for FILE in TestCases/$1/[0-9]*; do 
     echo "*** "$FILE" ***"
     cat $FILE
     echo
  done
else
  echo "Usage: cmds <TestCase>"
fi



exit 0