extract_sec_and_nsec in miri::shims::unix::fs - Rust
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.

Skip to main content

## extract_sec_and_nsec

# 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.