Martin Jeřábek ccd67b293d Add support for multiple parallel reporters ...

This requires a bunch of different changes across the reporter
subsystem.

* We need to handle multiple reporters and their differing
  preferences in `ListeningReporter`, e.g. what to do when
  we mix reporters that capture and don't capture stdout.
* We need to change how the reporter is given output and
  how we parse reporter's output destination from CLI.
* Approval tests need to handle multireporter option

2022-01-01 14:02:23 +01:00

..

misc

Disable JIT debug for ctest.ext

2021-12-16 12:17:52 +01:00

scripts

Add support for multiple parallel reporters

2022-01-01 14:02:23 +01:00