bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#first parameter is executable
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder#second parameter resets ouput files
fb667d2827149910130c66dc44c74024252a8fbfChristian Maeder ../../HasCASL/hacapa analysis < $i > $i.output
ad0b6d89fd72f0db461bfa6b43699157b6d2daf7Christian Maeder if [ -s $i.out ]; then echo "error when translating $i"; fi