Stream: git-wasmtime

Topic: wasmtime / PR #4537 implement fuzzing for statically-defi...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 26 2022 at 23:49):

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.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 27 2022 at 02:54):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 27 2022 at 15:07):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 27 2022 at 15:17):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 27 2022 at 16:16):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 27 2022 at 17:33):

dicej updated PR #4537 from component-fuzz-generator to main.

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

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2022 at 03:42):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2022 at 04:28):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2022 at 14:54):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2022 at 15:56):

dicej updated PR #4537 from component-fuzz-generator to main.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2022 at 16:39):

dicej updated PR #4537 from component-fuzz-generator to main.


Last updated: Dec 23 2024 at 12:05 UTC