runcheck.sh revision 9db48b4604636bfdf03e60890fc094b7bec775dc
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder#!/usr/local/bin/bash
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari#first parameter is executable
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari#second parameter resets ouput files
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian MaederPA=$1
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel CalegariSET=$2
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder. checkFunctions.sh
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder#extra test
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maederrunchecker Terms MixIds.casl MixIds.casl.output
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maederrunchecker Terms WrongMixIds.casl WrongMixIds.casl.asTerms.output
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maederrunchecker MixfixTerms Terms.casl Terms.casl.asMixfixTerms.output
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maederrunchecker MixfixFormula Formula.casl Formula.casl.asMixfixFormula.output
7439eb4a3269fa24aebfe522eb5be6f212e618e2Christian Maeder
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari#don't take files starting with "Wrong"
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegarifor j in [A-V]*.casl;
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegarido
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari i=`basename $j .casl`
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari runmycheck $i casl
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari runwrongcheck $i casl
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegaridone
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari
7c808aadfb7293563388dbe16d84cf3384bb5d3cDaniel Calegari