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

Method dot

src/analysis/pointsto/mod.rs:407–412  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

405 /// Print the callgraph in dot format.
406 #[allow(dead_code)]
407 pub fn dot(&self) {
408 println!(
409 "{:?}",
410 Dot::with_config(&self.graph, &[Config::GraphContentOnly])
411 );
412 }
413}
414
415/// Generate `ConstraintGraph` by visiting MIR body.

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected