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

Update comments in src/shims/time.rs

Browse Source 
Co-Authored-By: Ralf Jung <post@ralfj.de>
This commit is contained in:
Youngsuk Kim 2020-04-02 16:03:56 -04:00 committed by GitHub
parent ff982b1821
commit a494825d5a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/shims/time.rs
View File

@ -125,7 +125,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
this.check_no_isolation("QueryPerformanceCounter")?;
// QPC uses a hardware counter as its basis.
// Miri will assume that the machine's hardware counter has a resolution of 1 nanosecond.
// Miri will emulate a counter with a resolution of 1 nanosecond.
let duration = Instant::now().duration_since(this.machine.time_anchor);
let qpc = i64::try_from(duration.as_nanos())
.map_err(|_| err_unsup_format!("programs running longer than 2^63 nanoseconds are not supported"))?;