The source project of this merge request has been removed.
In a previous commit, one disk failed after running out of space. In addition, finding incorrect unit tests is currently quite difficult, as lots of extraneous std::cout statements clutter the logs.
With this diff, I measure
build git:(less_verbose_tests) ✗$ time ctest -V | wc -c 954640 ctest -V 203.41s user 9.84s system 97% cpu 3:38.99 total build git:(master) ✗ time ctest -V | wc -c 1689319 ctest -V 200.24s user 11.75s system 79% cpu 4:26.38 total