#790: Make Carpet timer tree threshold and precision configurable -------------------------+-------------------------------------------------- Reporter: hinder | Owner: eschnett Type: enhancement | Status: new Priority: minor | Milestone: Component: Carpet | Version: Keywords: | -------------------------+-------------------------------------------------- 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?