Stream: git-wasmtime

Topic: wasmtime / issue #5337 cranelift-isle: Fix representation...


view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2022 at 02:59):

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:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2022 at 19:02):

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: Oct 23 2024 at 20:03 UTC