Skip to content

linter should not include frozen components in counter-example #57

New issue
New issue
Open
Open
linter should not include frozen components in counter-example#57
Labels
good first issueFairly self-contained issue that is ideal as a first contributiontopic: analysisAffects the Linter or VCG
@florianschanda

Description

@florianschanda
florianschanda
opened on Nov 2, 2023
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    good first issueFairly self-contained issue that is ideal as a first contributiontopic: analysisAffects the Linter or VCG

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions