|
|
||
|
It is possible to invoke a summary report on all the checks, which can be a convenient way to verify that everything is correct with the model. The check-it-all command is:
If any of the checks fails, its errors are printed just as for the respective check invoked separately.
Such a combined report can take a while, as it is equivalent to running all involved checks separately and just showing their results in a single column.
The runAllChecks function accepts conventional options for selective narrowing of the analysis scope, for example:
Since this report is intended for interactive use only, it has no raw-format alternative.
Previous: Proof checks, next: Code generation
See also Table of Contents.