# /bin/bash
if [ "$1" == "" ]; then
  echo "Usage: rpt2 <TestCase>"
  exit 1
fi

bin/rpt1 TC_NS1 
echo ""
echo "-- Results"
echo ""
bin/tc TC_NS1