SET-FC-REPORT-ON-THE-FLY.html -- ACL2 Version 6.3

## SET-FC-REPORT-ON-THE-FLY

to determine when forward-chaining reports are printed

    Major Section:  FORWARD-CHAINING-REPORTS

    Examples:  (set-fc-report-on-the-fly t)
               (set-fc-report-on-the-fly nil)

If the flag is set to `t`, forward chaining tracking reports are printed when forward chaining occurs. If the flag is set to `nil`, very short reports (giving just the caller and the report number) are printed during forward chaining but you can use `fc-report` to see the full report afterwards.

Since nothing is tracked when the criteria is `nil`, this function also prints out the current criteria to remind you of what it is.

The flag manipulated by this function does not shut off tracking. It only determines whether reports are printed on-the-fly or not. To shut off tracking `set-fc-criteria`.

See forward-chaining-reports for details.