CADiZ

Reference manual / Z-related commands / Browsing commands / warning report


The warning report command selects the first warning report relating to the inspected formula. It is applicable only to a formula that is shown boxed in the specification, for which the reports are not all errors.


IT 10-Oct-1997