Stream: git-wasmtime

Topic: wasmtime / issue #5354 Enable the ssa verifier in debug b...

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

bjorn3 commented on issue #5354:

Would it make sense to enable the ssa verifier when enabling the regular regalloc verifier? That allows enabling it using the respective cranelift flag without enabling debug assertions.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 07 2022 at 20:23):

elliottt commented on issue #5354:

Would it make sense to enable the ssa verifier when enabling the regular regalloc verifier? That allows enabling it using the respective cranelift flag without enabling debug assertions.

I'll have a look at this in a follow-up PR, but for now I'd like to start fuzzing as soon as possible.

Last updated: Nov 22 2024 at 17:03 UTC