Stream: git-wasmtime

Topic: wasmtime / PR #1333 fuzzing: Enable Cranelift's IR verifi...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 16 2020 at 23:24):

fitzgen opened PR #1333 from enable-ir-verifier-for-differential-fuzzing to master:

The reason we weren't seeing the verifier errors in the fuzz targers in #1331 but were seeing them via wasmtime --invoke was because the differential fuzzing configs forgot to enable the IR verifier.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 16 2020 at 23:24):

fitzgen requested sunfishcode for a review on PR #1333.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 16 2020 at 23:25):

sunfishcode submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2020 at 00:02):

fitzgen merged PR #1333.

Last updated: Dec 23 2024 at 12:05 UTC