diff options
| author | tiif <pekyuan@gmail.com> | 2024-08-24 23:36:18 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2024-08-25 01:14:50 +0800 |
| commit | cd67e47872d0f23d5388fe1ec9717e3b442ec1ee (patch) | |
| tree | 04b31916ace62e6e56937ded7c5adb751784828f | |
| parent | 36235b9e0d23b911d2ebcf2b87c93cd78e4b0920 (diff) | |
| download | rust-cd67e47872d0f23d5388fe1ec9717e3b442ec1ee.tar.gz rust-cd67e47872d0f23d5388fe1ec9717e3b442ec1ee.zip | |
Fix error in the timeout value error message
| -rw-r--r-- | src/tools/miri/src/shims/unix/linux/epoll.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs index 4efdf951865..ade1ca73378 100644 --- a/src/tools/miri/src/shims/unix/linux/epoll.rs +++ b/src/tools/miri/src/shims/unix/linux/epoll.rs @@ -487,7 +487,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { -1 => None, ..-1 => { throw_unsup_format!( - "epoll_wait: Only timeout values greater than -1 are supported." + "epoll_wait: Only timeout values greater than or equal to -1 are supported." ); } }; |