3. filestat
3.1 NAME
filestat - compares SPASS results with status in problem files
3.2 SYNOPSIS
filestat [ -vc] file_1 ... file_n
3.3 DESCRIPTION
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.
3.4 OPTIONS
The following options are supported by filestat:
- -c
- Continue after status differences. Default: 'Off'.
- -v
- Report in detail. Especially, print out which
SPASS result file is currently processed. Default: 'Off'.
3.5 AUTHORS
Thorsten Engel
Christian Theobalt
Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>
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
using texi2html