
       void ttv_DumpHeader(FILE *f, TimingFigure *tvf);

DDEESSCCRRIIPPTTIIOONN
       Prints information about the given timing figure and the running script

AARRGGUUMMEENNTTSS
       ff             File where to save the report, _s_t_d_o_u_t for standard output

       ttvvff           Pointer on a timing figure

