Adding flush() calls to stderr and stdout, in an attempt to improve clarity in test output during failures.
Authored by: gavare 2019-06-07
Parent: [r5714]
Child: [r5716]
