Generating Reports

To generate reports when one of the BITCOV variants are used, an auxiliary tool dmp2txt is used to convert the dumped array to the text version (MON.txt) of the coverage data file.

Note: When the MON.txt file is finally generated, it is further processed as in the standard HOTA workflow, using ctc2dat, ctcpost and typically ctc2html.