report_why_we_stopped¶
-
void libsemigroups::Runner::report_why_we_stopped() const¶
Report why Runner::run stopped.
Reports whether Runner::run was stopped because it is Runner::finished, Runner::timed_out, or Runner::dead.
- Parameters
(None)
- Returns
(None)