Inspirel banner

All checks

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.