Function assertCfgSatisfiesProperties

  • assertCfgSatisfiesProperties(
        cfg: ControlFlowInformation,
        excludeProperties?: readonly (
            | "no-direct-fd-cycles"
            | "no-direct-cd-cycles"
            | "single-entry-and-exit"
            | "has-entry-and-exit"
            | "entry-reaches-all"
            | "exit-reaches-all"
        )[],
    ): PropertyReport

    Check if the given CFG satisfies all properties.

    Parameters

    • cfg: ControlFlowInformation

      The control flow graph to check.

    • OptionalexcludeProperties: readonly (
          | "no-direct-fd-cycles"
          | "no-direct-cd-cycles"
          | "single-entry-and-exit"
          | "has-entry-and-exit"
          | "entry-reaches-all"
          | "exit-reaches-all"
      )[]

      If provided, exclude the given properties, otherwise this checks all properties.

    Returns PropertyReport

Settings

Member Visibility