Stream: show and tell

Topic: fuzzer for `roc glue`


view this post on Zulip Richard Feldman (Jul 28 2023 at 21:20):

I'm working on a fuzzer for roc glue which generates random types for the platform's main, generates a platform and host based on that, runs roc glue to generate glue for them, generates an app which conforms to that glue, and then verifies that the values make it through a host roundtrip. (The plan is to fuzz effects next.)

Screen-Recording-2023-07-28-at-5.07.21-PM.mov

view this post on Zulip Richard Feldman (Jul 28 2023 at 21:20):

the fuzzer is written in Roc using basic-cli! https://github.com/roc-lang/roc/blob/c74164f1df473c53345dff4276ea1247a3116c25/crates/glue/tests/fuzz/main.roc

view this post on Zulip Brendan Hansknecht (Jul 28 2023 at 21:46):

That's fun


Last updated: Jul 06 2025 at 12:14 UTC