/usr/share/spass/html/script_3.html is in spass 3.7-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on February, 23 2010 by texi2html 1.78 -->
<!--
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>frequently asked questions about SPASS: 3. filestat</title>
<meta name="description" content="frequently asked questions about SPASS: 3. filestat">
<meta name="keywords" content="frequently asked questions about SPASS: 3. filestat">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.78">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="script_2.html#SEC10" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[<a href="script_4.html#SEC25" title="Next chapter"> >> </a>]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="script.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[Contents]</td>
<td valign="middle" align="left">[Index]</td>
<td valign="middle" align="left">[<a href="script_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<hr size="2">
<a name="filestat"></a>
<a name="SEC18"></a>
<h1 class="chapter"> 3. filestat </h1>
<hr size="6">
<a name="SEC19"></a>
<h2 class="section"> 3.1 NAME </h2>
<p>filestat - compares SPASS results with status in problem files
</p>
<hr size="6">
<a name="SEC20"></a>
<h2 class="section"> 3.2 SYNOPSIS </h2>
<p><strong>filestat</strong> [ -vc] file_1 … file_n
</p>
<hr size="6">
<a name="SEC21"></a>
<h2 class="section"> 3.3 DESCRIPTION </h2>
<p>Like <strong>checkstat</strong>, <strong>filestat</strong> is a script for automatically comparing a set of
<strong>SPASS</strong> results against reference results. Unlike <strong>checkstat</strong>, <strong>SPASS</strong> is not actually
run on the problems. Instead, input to <strong>filestat</strong> are <strong>SPASS</strong> result files,
which contain concatenations of <strong>SPASS</strong> outputs, describing the input file and
the result. <strong>filestat</strong> compares the problem status in each of these input files with the
problem status computed by <strong>SPASS</strong> and outputs differences.
</p>
<hr size="6">
<a name="SEC22"></a>
<h2 class="section"> 3.4 OPTIONS </h2>
<p>The following options are supported by <strong>filestat</strong>:
</p><dl compact="compact">
<dt> <kbd>-c</kbd></dt>
<dd><p>Continue after status differences. Default: 'Off'.
</p></dd>
<dt> <kbd>-v</kbd></dt>
<dd><p>Report in detail. Especially, print out which
<strong>SPASS</strong> result file is currently processed. Default: 'Off'.
</p></dd>
</dl>
<hr size="6">
<a name="SEC23"></a>
<h2 class="section"> 3.5 AUTHORS </h2>
<p>Thorsten Engel and Christian Theobalt
</p>
<p>Contact : spass@mpi-inf.mpg.de
</p>
<hr size="6">
<a name="SEC24"></a>
<h2 class="section"> 3.6 SEE ALSO </h2>
<p>checkstat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), dfg2otterpl(1), SPASS(1)
</p>
<hr size="6">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="#SEC18" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[<a href="script_4.html#SEC25" title="Next chapter"> >> </a>]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="script.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[Contents]</td>
<td valign="middle" align="left">[Index]</td>
<td valign="middle" align="left">[<a href="script_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
<font size="-1">
This document was generated by <em>Christoph Weidenbach</em> on <em>February, 23 2010</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.78</em></a>.
</font>
<br>
</p>
</body>
</html>
|