Skip to content

[CFG] New property - reachability of exit #1650

New issue
New issue
Open
Task
Open
[CFG] New property - reachability of exit#1650
Task
Labels
control-flowRelated to control-flow extractiontestRelates to tests specifically
@EagleoutIce

Description

@EagleoutIce
EagleoutIce
opened on May 15, 2025

Every vertex should reach it's mid and exit vertices

Metadata

Metadata

Assignees

No one assigned

    Labels

    control-flowRelated to control-flow extractiontestRelates to tests specifically

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions