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

More detailed hydra test results #2722

Merged

Conversation

AsparagusEduardo
Copy link
Collaborator

Description

Added some more details to the test results.

image

KNOWN_FAILING and FAILED results don't show if there are none.

image

Discord contact info

AsparagusEduardo#6051

@DizzyEggg
Copy link
Collaborator

What do you think about adding an additional field for tests which failed due to assumption being false? Perhaps ASSUMPTION_FAILED or sth similar?

@AsparagusEduardo
Copy link
Collaborator Author

What do you think about adding an additional field for tests which failed due to assumption being false? Perhaps ASSUMPTION_FAILED or sth similar?

Sure thing :)

@AsparagusEduardo
Copy link
Collaborator Author

Added ASSUMPTIONS_FAIL to the result summary.
Also changed SKIP to ASSUMPTION_FAIL and made it yellow.

image

test/test_runner.c Outdated Show resolved Hide resolved
@AsparagusEduardo
Copy link
Collaborator Author

Ready for re-review

SBird1337
SBird1337 previously approved these changes Mar 8, 2023
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.

4 participants