Fix `finish_test`.
When using `react` to start a test, there is no handling of the test
result by the `RegressionManager` when a test is failed from
`finish_test`. This change fixes that and allows the test result to be
handled and any further tests to be run.
Fixes `test_closedown`.
@@ -811,6 +811,7 @@ class Scheduler:
def finish_test(self, exc):
self._test.abort(exc)
+ self._check_termination()
def finish_scheduler(self, exc):
"""Directly call into the regression manager and end test
