Report Formats of ctcpost

As report formats, text and XML are available. For text reports, different content is provided by three different options. The text report generated by ctcpost is technically used as input for generating an HTML coverage report with ctc2html.

-p filename
A text report containing the execution profile listing is written to the specified file.
-u filename
A text report containing the untested part only is written to the specified file.
-t filename
A text report containing timing information is written to the specified file.
-x filename
An XML report containing the execution profile and timing information is written to the specified file.
Note: For all output filenames, if "-" or stdout is given instead, the listing is written to stdout. With
ctcpost -p - | ctc2html
this can be used to generate the HTML report in one step, for example.