Skip to content

Commit

Permalink
CI: set maxIndividualTestTime in lit cfg (#3590)
Browse files Browse the repository at this point in the history
  • Loading branch information
superlopuh authored Dec 7, 2024
1 parent 89dc7e9 commit 4bbeecb
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions tests/filecheck/lit.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -19,3 +19,18 @@ if "COVERAGE" in lit_config.params:
config.substitutions.append(('xdsl-run', f"coverage run {xdsl_run}"))
config.substitutions.append(('irdl-to-pyrdl', f"coverage run {irdl_to_pyrdl}"))
config.substitutions.append(('python', f"coverage run"))


# checking if maxIndividualTestTime is available on the platform and sets
# it to 20sec if so, declares lit-max-individual-test-time feature for
# further checking by tests.
supported, errormsg = lit_config.maxIndividualTestTimeIsSupported
if supported:
config.available_features.add("lit-max-individual-test-time")
lit_config.maxIndividualTestTime = 20
else:
lit_config.warning(
"Setting a timeout per test not supported. "
+ errormsg
+ " Some tests will be skipped."
)

0 comments on commit 4bbeecb

Please sign in to comment.