dicej opened PR #4537 from component-fuzz-generator
to main
:
This is the first part of my work to address #4307. We now generate 1000
arbitrary types and tests for those types at build time. Each test includes a
component which imports and exports functions that take and return its
respective type. The exported function calls the imported function, which is
implemented by the host, and the host verifies that both the host function
argument and the guest function return value match the original input value.In terms of #4307, this includes the test case generator and the static API
oracle. I'll follow up with a dynamic API oracle in a subsequent PR.Signed-off-by: Joel Dice <joel.dice@fermyon.com>
<!--
Please ensure that the following steps are all taken care of before submitting
the PR.
[ ] This has been discussed in issue #..., or if not, please tell us why
here.[ ] A short description of what this does, why it is needed; if the
description becomes long, the matter should probably be discussed in an issue
first.[ ] This PR contains test cases, if meaningful.
- [ ] A reviewer from the core maintainer team has been assigned for this PR.
If you don't know who could review this, please indicate so. The list of
suggested reviewers on the right can help you.Please ensure all communication adheres to the code of conduct.
-->
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
dicej updated PR #4537 from component-fuzz-generator
to main
.
Last updated: Dec 23 2024 at 12:05 UTC