#!/bin/sh

valid=-valid
if [ "$1" = "-invalid" ] ; then
  valid=-invalid
  shift
fi

cmd="./run -ax:tests/KillTc $valid -s"

case "$1" in
  @* )
   n=$(echo "$1" | sed -e 's/@//g')
   shift
   $cmd  "$@" $(cat $n)
   ;;
  * )
    $cmd "$@"
    ;;
esac