Skip to content

Conversation

@celinval
Copy link
Contributor

Description of changes:

Compiletest behavior has changed to always failing fast after #2045. This PR introduces a --no-fail-fast flag to compiletest which will execute the entire suite regardless of failure.

The regression script uses --no-fail-fast so all failures in a suite are printed as part of the CI.

Resolved issues:

Resolves #2144

Related RFC:

Call-outs:

Testing:

  • How is this change tested? Manually tested the default behavior. The regression uses the new flag.

  • Is this a refactor change? No

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

Compiletest behavior has changed to always failing fast after model-checking#2045.
This PR introduces a `--no-fail-fast` flag to compiletest which will
execute the entire suite regardless of failure.

The regression script uses `--no-fail-fast` so all failures in a suite
are printed as part of the CI.
@celinval celinval requested a review from a team as a code owner January 23, 2023 20:46
@celinval celinval merged commit 3b88c9b into model-checking:main Jan 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add a flag to compiletest to control whether it should fail fast or not

2 participants