A.6.4 Print

Print definitions indicate expressions to be evaluated. The standard tools in the CSP_M distribution include `check' which evaluates all (non-process) assertions and print definitions in a script. This can be useful when debugging problems with scripts. FDR uses any print definitions to initialise the list of expressions for the evaluator panel.