Extracted from #66, this is a few adjustments to methods that were returning void, plus some additional checks in runWhile against the loop not exiting when it should.
This PR shouldn't change anything in normal execution.
(But erring tests might err differently.)
Extracted from #66, this is a few adjustments to methods that were returning
void, plus some additional checks inrunWhileagainst the loop not exiting when it should.This PR shouldn't change anything in normal execution.
(But erring tests might err differently.)