Skip to content

Make LEC_CHECK 0 default for non-ORFS test-suite #3907

@oharboe

Description

@oharboe

Description

designs using ORFS, but not part of ORFS test-suite, probably don't want to run LEC_CHECK=1.

The trick is that LEC_CHECK=1 is a reasonable default for the ORFS test scripts themselves.

Suggested Solution

Make LEC_CHECK=0 by default, pass in make LEC_CHECK=1 in CI.

Some designs explicitly disable LEC_CHECK in config.mk and they override make LEC_CHECK=1.

Additional Context

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions