[Image] [Image] [Image] [Image]
Next: Log file Up: Format specifications Previous: Trace file/output

Error output

 

Errors are reported to stderr, unlike in previous versions, in which they were written to a file zdatr.err.

While parsing the input theory and perfoming queries several kinds of errors and warnings can be produced. When using the Unix pipe to connect zdatrtok and zdatrinf, with both modules set to work quietly, minor errors will not be reported.



© Dafydd Gibbon Sun Sep 13 17:17:46 MET DST 1998