RESET-FC-REPORTING.html -- ACL2 Version 6.3

## RESET-FC-REPORTING

reset the forward-chaining tracking state to its initial configuration

    Major Section:  FORWARD-CHAINING-REPORTS

    Example:  (reset-fc-reporting)

This function erases all forward chaining tracking criteria and sets the on-the-fly reporting flag to `nil.` The next time you set the criteria (see set-fc-criteria) the short form of reports, in which only the caller and the fc-report number is printed, will appear in your proof logs.

See forward-chaining-reports for details.