diff options
| author | tiif <pekyuan@gmail.com> | 2024-08-25 03:14:42 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2024-08-25 03:14:42 +0800 |
| commit | 7d5be0629b4161dda9dde8dfdeda5e9dd50649fd (patch) | |
| tree | e9c6daf2351fc5f4d5129f5717c88d5e4d4b4e5d /src/tools/miri | |
| parent | 25ca8554311fc307d00de5ceb1dd81a2de79285d (diff) | |
| download | rust-7d5be0629b4161dda9dde8dfdeda5e9dd50649fd.tar.gz rust-7d5be0629b4161dda9dde8dfdeda5e9dd50649fd.zip | |
Add 0 preemption rate flag for blocking test and fix comment
Diffstat (limited to 'src/tools/miri')
| -rw-r--r-- | src/tools/miri/src/concurrency/thread.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/concurrency/thread.rs b/src/tools/miri/src/concurrency/thread.rs index 1b119ae7192..af457848de6 100644 --- a/src/tools/miri/src/concurrency/thread.rs +++ b/src/tools/miri/src/concurrency/thread.rs @@ -172,7 +172,7 @@ pub enum BlockReason { Futex { addr: u64 }, /// Blocked on an InitOnce. InitOnce(InitOnceId), - /// Blocked on epoll + /// Blocked on epoll. Epoll, } |