Make Carpet timer tree threshold and precision configurable

Issue #790 closed
Ian Hinder created an issue

The attached patch adds new parameters which make the printed timer precision and display threshold configurable for hierarchical timer output to standard output.

OK to commit?

Keyword:

Comments (4)

  1. Log in to comment