Skip to content

verbose mode shows sketch top 10#3

Open
githomin wants to merge 1 commit intomainfrom
homin/sketch_top_vebose
Open

verbose mode shows sketch top 10#3
githomin wants to merge 1 commit intomainfrom
homin/sketch_top_vebose

Conversation

@githomin
Copy link
Contributor

@githomin githomin commented Jul 5, 2023

verbose shows sketch top 10 (in addition to the actual top 10 as before)

@githomin githomin force-pushed the homin/sketch_top_vebose branch from 2248f35 to 01bda1e Compare July 5, 2023 18:57
@githomin githomin requested a review from CharlesMasson July 5, 2023 18:57
@CharlesMasson
Copy link
Contributor

Instead of propagating a verbose variable, can we rely on a logging framework and logging levels, e.g., log? It will also allow easily removing all logging instruction at compile time for more accurate timing when necessary.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants