Trait circomspect_program_structure::control_flow_graph::IntoCfg

source · [−]
pub trait IntoCfg {
    fn into_cfg(self, reports: &mut ReportCollection) -> CFGResult<Cfg>;
}
Expand description

This is a high level trait which simply wraps the implementation provided by TryLift.

Required Methods

Implementors