Cross Reference:
xref: /hets/HasCASL/runcheck.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
runcheck.sh revision 9db48b4604636bfdf03e60890fc094b7bec775dc
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski#!/usr/local/bin/bash
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiPA=$1
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiSET=$2
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski. ../CASL/checkFunctions.sh
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskifor i in Types Terms Items;
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskido
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski runmycheck $i hascasl
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski runwrongcheck $i hascasl
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskidone
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskifor i in MixIds BasicSpec;
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskido
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski runmycheck $i hascasl
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskidone
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski

Indexes created Tue Jul 24 14:28:13 CEST 2018