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
Proposed change: Build Kani and the std library using kani-compiler.
Motivation: The Kani compiler has extra checks, such as well-formed attributes, that will be useful when compiling our sysroot. For example, if we add an ill-formed #[kani::unstable] attribute today, the user crate compilation will fail (we even add a debug_assert() since we expect that to be a Kani bug. Instead, we want the kani library compilation to fail.
The text was updated successfully, but these errors were encountered:
Proposed change: Build Kani and the std library using kani-compiler.
Motivation: The Kani compiler has extra checks, such as well-formed attributes, that will be useful when compiling our sysroot. For example, if we add an ill-formed
#[kani::unstable]
attribute today, the user crate compilation will fail (we even add adebug_assert()
since we expect that to be a Kani bug. Instead, we want thekani
library compilation to fail.The text was updated successfully, but these errors were encountered: