Skip to main content

infer_cfg_with_advisors

Function infer_cfg_with_advisors 

Source
pub fn infer_cfg_with_advisors(
    examples: &[String],
    oracle: &dyn Oracle,
    opts: InferenceOptions,
    naming_advisor: &dyn NamingAdvisor,
    merge_advisor: &dyn MergeAdvisor,
) -> InferenceResult
Expand description

Infers a CFG while routing naming and merge decisions through advisors.