github-actions[bot] commented on issue #5337:
Subscribe to Label Action
cc @cfallin, @fitzgen
<details>
This issue or pull request has been labeled: "cranelift", "isle"Thus the following users have been cc'd because of the following labels:
- cfallin: isle
- fitzgen: isle
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
jameysharp commented on issue #5337:
I've been thinking we should have tests for the various rule-quality checks we've been adding, but no, we don't yet have any. I think the existing test-runner for
cranelift/isle/isle/isle_examples/
should be a good enough starting point. It doesn't let us assert anything about what error is reported, but at least lets us write ISLE samples which are expected to be rejected.
Last updated: Dec 23 2024 at 12:05 UTC