Interface AssertCfgOptions

interface AssertCfgOptions {
    additionalAsserts?: (
        cfg: ControlFlowInformation,
        ast: NormalizedAst,
        dfg: DataflowInformation,
    ) => void;
    excludeProperties?: readonly (
        | "no-direct-fd-cycles"
        | "no-direct-cd-cycles"
        | "single-entry-and-exit"
        | "has-entry-and-exit"
        | "entry-reaches-all"
        | "exit-reaches-all"
    )[];
    expectIsSubgraph: boolean;
    simplificationPasses?: readonly (
        | "unique-cf-sets"
        | "analyze-dead-code"
        | "remove-dead-code"
        | "to-basic-blocks"
    )[];
    testIds?: readonly SupportedFlowrCapabilityId[];
    withBasicBlocks: boolean;
}