miri::shims::unix::fs

Function extract_sec_and_nsec

Source 
fn extract_sec_and_nsec<'tcx>(
    time: Result<SystemTime>,
) -> InterpResult<'tcx, Option<(u64, u32)>>
Expand description

Extracts the number of seconds and nanoseconds elapsed between time and the unix epoch when time is Ok. Returns None if time is an error. Fails if time happens before the unix epoch.