MCPcopy Create free account
hub / github.com/PLSysSec/wave / atim

Method atim

src/types/mod.rs:721–723  ·  view source on GitHub ↗

must impl flag checking as trusted due to bitwise ops not being supported by prusti

(&self)

Source from the content-addressed store, hash-verified

719impl FstFlags {
720 // must impl flag checking as trusted due to bitwise ops not being supported by prusti
721 pub fn atim(&self) -> bool {
722 nth_bit_set(self.0, 0)
723 }
724
725 pub fn atim_now(&self) -> bool {
726 nth_bit_set(self.0, 1)

Callers 3

try_fromMethod · 0.80

Calls 1

nth_bit_setFunction · 0.85

Tested by

no test coverage detected