In rare circumstances, a timeout of a multi-node cluster test (which should result in TESTERROR)
can lead to a situation where
- No abstract machine reports this
TESTERROR.
- The verdicts of test cases (and the test procedure) remains
PASS,
despite the fact that this result is not reliable.