>> One thing that concerns me is that generating tests takes a long >> time (`make test`).
Besides using option `-jX` from make, I also suggest that you use 'ccache' to speed up the C++ compiler. https://ccache.dev/ This doesn't directly help with 'make test', though. Werner
