runcheck.sh revision faf8ae9e57aecf780f77f114de886af4c1a0f0cc
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maederfor i in MixIds Terms Formula SortItem OpItem PredItem BasicSpec;
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maeder fgrep -s "parse error" temp || echo " " passed
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maeder diff temp $i.casl.output >& /dev/null || echo " " $i failed diff
9d0567bda351efa4286f38e85fb3e41ecd3683eaChristian Maeder fgrep -c "parse error" temp || echo " " Wrong$i failed error grep
20bd79f8844604c145510c616fecdaf47eba2fdbChristian Maeder diff temp Wrong$i.casl.output >& /dev/null \
20bd79f8844604c145510c616fecdaf47eba2fdbChristian Maederfgrep -l "parse error" temp || echo " " passed
20bd79f8844604c145510c616fecdaf47eba2fdbChristian Maederdiff -w temp MixIds.casl.output >& /dev/null || \