#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?
#790: Make Carpet timer tree threshold and precision configurable --------------------------+------------------------------------------------- Reporter: hinder | Owner: eschnett Type: enhancement | Status: review Priority: minor | Milestone: Component: Carpet | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by hinder):
* status: new => review
#790: Make Carpet timer tree threshold and precision configurable --------------------------+------------------------------------------------- Reporter: hinder | Owner: eschnett Type: enhancement | Status: review Priority: minor | Milestone: Component: Carpet | Version: Resolution: | Keywords: --------------------------+-------------------------------------------------
Comment (by knarf):
The patch looks fine, please apply.
#790: Make Carpet timer tree threshold and precision configurable --------------------------+------------------------------------------------- Reporter: hinder | Owner: eschnett Type: enhancement | Status: closed Priority: minor | Milestone: Component: Carpet | Version: Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by hinder):
* status: review => closed * resolution: => fixed
Comment:
Committed in changeset ab6a712c7eb6.
trac@lists.einsteintoolkit.org
-
Einstein Toolkit