runcheck.sh revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#first parameter is executable
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#second parameter resets ouput files
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder# ../../HasCASL/hacapa analysis < $i > $i.output