Skip to main content

infer_cfg

Function infer_cfg 

Source
pub fn infer_cfg(
    examples: &[String],
    oracle: &dyn Oracle,
    opts: InferenceOptions,
) -> InferenceResult
Expand description

Infers a deterministic CFG from positive examples.