Statistics

void lace_count_reset(void)

Reset all internal statistics counters.

void lace_count_report_file(FILE *file)

Write a statistics report to the given file.

Parameters:

file – Output stream (e.g. stdout or an open FILE*)

static inline void lace_count_report(void)

Write a statistics report to stdout.

Convenience wrapper around lace_count_report_file().