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
- Defined in src/control-flow/cfg-properties.ts:108