Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[P4Testgen] Add a silent mode to P4Tools. Add performance counting at the top level. #4369

Merged
merged 1 commit into from
Feb 9, 2024

Conversation

fruffy
Copy link
Collaborator

@fruffy fruffy commented Jan 29, 2024

Add an option to disable printing any information to standard output. This does not disable warnings, errors, or outputs which may be enabled by other options.

Also add a timer to the top-level and print metrics there for better collection of statics.

@fruffy fruffy added the p4tools Topics related to the P4Tools back end label Jan 29, 2024
@fruffy fruffy changed the base branch from main to fruffy/testbackend_config February 5, 2024 17:32
@fruffy fruffy force-pushed the fruffy/testbackend_config branch 4 times, most recently from d2a5bb4 to 5ac93fd Compare February 8, 2024 13:33
@@ -181,6 +181,14 @@ AbstractP4cToolOptions::AbstractP4cToolOptions(cstring message) : Options(messag
},
"Provides a randomization seed");

registerOption(
"--disable-info", nullptr,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would it make sense to include the keyword "log" or "logging" in the name of the flag somehow?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

--disable-info-logging?

@fruffy fruffy force-pushed the fruffy/testbackend_config branch 2 times, most recently from fd7c6d7 to a50b982 Compare February 8, 2024 22:28
Base automatically changed from fruffy/testbackend_config to main February 8, 2024 23:08
@fruffy fruffy enabled auto-merge (squash) February 9, 2024 00:29
@fruffy fruffy merged commit 9476ae7 into main Feb 9, 2024
16 checks passed
@fruffy fruffy deleted the fruffy/metrics branch February 9, 2024 00:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
p4tools Topics related to the P4Tools back end
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants