| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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'.
Thorsten Engel and Christian Theobalt
Contact : spass@mpi-inf.mpg.de
checkstat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by Christoph Weidenbach on February, 23 2010 using texi2html 1.78.