[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3. filestat


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.1 NAME

filestat - compares SPASS results with status in problem files


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.2 SYNOPSIS

filestat [ -vc] file_1 ... file_n


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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'.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.5 AUTHORS

Thorsten Engel
Christian Theobalt
Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.6 SEE ALSO

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 Renate Schmidt on March, 10 2003 using texi2html