This repository was archived by the owner on Jun 26, 2020. It is now read-only.
enable_verifier default disagrees with docs #1247
Labels
bug
A bug or panic in the compiler or generated code.
Currently we state that the verifier is disabled by default, but it is in fact enabled by default. See:
cranelift/cranelift-codegen/meta/src/shared/settings.rs
Lines 19 to 28 in afc1e0e
This default was switched about two years ago, and has been carried forward: 774e8fc
The verifier still catches bugs IME, and it seems like a fine default, but the docs for the flag are wrong!
The text was updated successfully, but these errors were encountered: