Skip to content

Use ct_proper_ext generators in queue property tests #7453

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

Merged
merged 1 commit into from
Aug 8, 2023

Conversation

juhlig
Copy link
Contributor

@juhlig juhlig commented Jun 29, 2023

This PR uses the atomlimit-safe generators from ct_proper_ext (#7364) in the property tests for the queue module.

@github-actions
Copy link
Contributor

github-actions bot commented Jun 29, 2023

CT Test Results

       2 files       89 suites   38m 34s ⏱️
1 904 tests 1 656 ✔️ 247 💤 1
2 199 runs  1 941 ✔️ 257 💤 1

For more details on these failures, see this check.

Results for commit 710ea6b.

♻️ This comment has been updated with latest results.

To speed up review, make sure that you have read Contributing to Erlang/OTP and that all checks pass.

See the TESTING and DEVELOPMENT HowTo guides for details about how to run test locally.

Artifacts

// Erlang/OTP Github Action Bot

@jhogberg jhogberg self-assigned this Jun 30, 2023
@jhogberg jhogberg added team:VM Assigned to OTP team VM enhancement testing currently being tested, tag is used by OTP internal CI labels Jun 30, 2023
@juhlig juhlig force-pushed the safe_queue_proptest branch from 9565c19 to 710ea6b Compare July 28, 2023 07:08
@juhlig
Copy link
Contributor Author

juhlig commented Jul 28, 2023

Rebased on current master.

@jhogberg jhogberg added testing currently being tested, tag is used by OTP internal CI and removed testing currently being tested, tag is used by OTP internal CI labels Aug 4, 2023
@jhogberg jhogberg merged commit af7f25f into erlang:master Aug 8, 2023
@jhogberg
Copy link
Contributor

jhogberg commented Aug 8, 2023

Merged, thanks for the PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement team:VM Assigned to OTP team VM testing currently being tested, tag is used by OTP internal CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants