filestat - compares SPASS results with status in problem files
filestat [ -vc] file_1 ... file_n
Like checkstat, filestat is a script for automatically comparing a set of
SPASS results against reference results. Unlike checkstat, SPASS is not actually
run on the problems. Instead, input to filestat are SPASS result files,
which contain concatenations of SPASS outputs, describing the input file and
the result. filestat compares the problem status in each of these input files with the
problem status computed by SPASS and outputs differences.
The following options are supported by filestat:
- Continue after status differences. Default: 'Off'.
- Report in detail. Especially, print out which
SPASS result file is currently processed. Default: 'Off'.
Contact : Christoph Weidenbach <email@example.com>
3.6 SEE ALSO
checkstat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
This document was generated
by Renate Schmidt on March, 10 2003