mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix some typos

Browse Source
This commit is contained in:
Ralf Jung 2020-11-29 19:43:44 +01:00 committed by GitHub
parent 6c5722933e
commit cbb695f782
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/data_race.rs
View File

@ -44,7 +44,7 @@
//! required for accurate reporting of data-race values.
//!
//! As per the paper a threads timestamp is only incremented after a release operation is performed
//! so some atomic operations that only perform acquires do not increment the timestamp, due to shared
//! so some atomic operations that only perform acquires do not increment the timestamp. Due to shared
//! code some atomic operations may increment the timestamp when not necessary but this has no effect
//! on the data-race detection code.
//!
@ -634,7 +634,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
clocks.apply_release_fence();
}
// Increment timestamp if hase release semantics
// Increment timestamp in case of release semantics.
Ok(atomic != AtomicFenceOp::Acquire)
})
} else {