pub fn infer_cfg(
examples: &[String],
oracle: &dyn Oracle,
opts: InferenceOptions,
) -> InferenceResultExpand description
Infers a deterministic CFG from positive examples.
pub fn infer_cfg(
examples: &[String],
oracle: &dyn Oracle,
opts: InferenceOptions,
) -> InferenceResultInfers a deterministic CFG from positive examples.