Currently we write all the logs out to the stdout. It may be interesting to give an option to write it to file somewhere. The flag seems to be there, but is not doing logging anything(?) to file. As an example, when running the ./tacoco-diagnoses script we see that all three log files in tacoco_output are empty.