You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@graydon Yes. I actually am not personally in favor of this, but it is what @pcwalton 's original proposal said so I figured I ought to stick to it for now.
…ld scripts (rust-lang#2297)
We now pass `--cfg=kani` to build scripts, which allow users to use constructs such as `if cfg!(kani)` to conditionally compile their build scripts.
The build script may have logic that is not redundant to Kani, or even unsupported. Users can now change how their build works based on conditional compilation.
Co-authored-by: Kareem Khazem <karkhaz@amazon.com>
jieyouxu
pushed a commit
to jieyouxu/rust
that referenced
this issue
Apr 2, 2025
And add compile-fail tests to enforce this.
The text was updated successfully, but these errors were encountered: