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

Do the tokio tests work with the default preemption rate? #2770

Closed
wants to merge 2 commits into from

Conversation

DebugSteven
Copy link
Contributor

This is a test to see if CI will pass without the -Zmiri-preemption-rate=0 flag.

The tokio_mvp.rs test never failed for me locally, but this flag was needed for that test to pass CI. Since this branch has an implementation for sleep I want to see if the preemption flag is still needed or what CI will fail with.

There's a different open PR already being reviewed for sleep.

@DebugSteven
Copy link
Contributor Author

Rad! The experiment is a success.

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.

1 participant