Quicker detection of done state in reporter
jeffa5 opened this issue · comments
Andrew Jeffery commented
Currently when using a reporter there is a sleep of 1 second between each report which is fine for long-running models (arguably could be configurable). However, when checking very small models (first few stages of iterative DFS) it would be nicer to have the reporter notified that the checker is finished and finish up immediately.