Module stateright::report

Structs

• ReportData
  The data sent during a report event.
• ReportDiscovery
  A discovery found during the checking.
• WriteReporter

Traits

• Reporter
  A reporter for progress during the model checking.