Function controlReaches

controlReaches(
    parser: KnownParser,
    code: string,
    target: SlicingCriterion,
): Promise<boolean>
whether control reaches target from the start, on the control flow graph of a fresh analyzer
Parameters
- parser: KnownParser
- code: string
- target: SlicingCriterion
Returns Promise<boolean>
- Defined in test/functionality/_helper/controlflow/happens-before.ts:16