MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / result

Method result

src/detector/panic/mod.rs:132–134  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

130 }
131 }
132 pub fn result(&self) -> &HashMap<(DefId, Location), (Span, Span, PanicInstance<'tcx>)> {
133 &self.result
134 }
135 pub fn statistics(&self) -> HashMap<PanicAPI, usize> {
136 let mut tally: HashMap<PanicAPI, usize> = HashMap::new();
137 self.result.iter().for_each(|(_, (_, _, panic_instance))| {

Callers 1

analyze_with_lockbudMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected