miri
1.82.0-nightly
(7120fdac7 2024-07-25)
In miri::concurrency::weak_memory
Constant
miri
::
concurrency
::
weak_memory
::
STORE_BUFFER_LIMIT
Copy item path
source
ยท
[
−
]
const STORE_BUFFER_LIMIT:
usize
= 128;