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

test: print branch/leaf_stage seed on stderr #570

Merged
merged 2 commits into from
Nov 25, 2024

Conversation

gabriele-0201
Copy link
Contributor

@gabriele-0201 gabriele-0201 commented Nov 19, 2024

Print to stderr the seed used in the branch and leaf stage tests to make the tests easily reproducible locally.

This pr also includes a deletion of some printlns, see #566 for context

Copy link
Contributor Author

gabriele-0201 commented Nov 19, 2024

@gabriele-0201 gabriele-0201 force-pushed the gm_quickcheck_print_on_panic branch from e1ca7eb to a4ece71 Compare November 22, 2024 03:49
@gabriele-0201 gabriele-0201 changed the base branch from gm_quickcheck_tests_add_printlns to gm_leaf_stage_binary_search_follow_up November 22, 2024 03:49
Base automatically changed from gm_leaf_stage_binary_search_follow_up to master November 22, 2024 04:06
@gabriele-0201 gabriele-0201 merged commit 4b2f283 into master Nov 25, 2024
8 checks passed
@gabriele-0201 gabriele-0201 deleted the gm_quickcheck_print_on_panic branch November 25, 2024 03:36
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