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

List contributors to P4Tools backend #3742

Merged
merged 2 commits into from
Nov 30, 2022
Merged

List contributors to P4Tools backend #3742

merged 2 commits into from
Nov 30, 2022

Conversation

jnfoster
Copy link
Contributor

No description provided.

@jnfoster
Copy link
Contributor Author

Tried to summarize the major contributors to P4Testgen. Please let me know if I missed someone, or if I got the history wrong.

Copy link
Contributor

@pkotikal pkotikal left a comment

Choose a reason for hiding this comment

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

Thank you!

backends/p4tools/CONTRIBUTORS.md Outdated Show resolved Hide resolved
@@ -0,0 +1,18 @@
# Overview

P4Testgen is a test oracle for the P4 language. Given a P4_16 program and a specification of the underlying architecture, it automatically generates a comprehensive set of input/output tests that can be executed to validate a target device.
Copy link
Collaborator

Choose a reason for hiding this comment

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

This is specific to P4Testgen, not P4Tools.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I think that's fine for now...

@jnfoster jnfoster merged commit 4ed61b4 into main Nov 30, 2022
@jnfoster jnfoster deleted the p4tools-contrib branch November 30, 2022 16:37
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.

3 participants