diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 00d460192bcc..4d0d44f70a1e 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2025-05-20" +channel = "nightly-2025-05-22" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"] diff --git a/tests/expected/valid-value-checks/maybe_uninit.expected b/tests/expected/valid-value-checks/maybe_uninit.expected index 8264876dc4f7..4fb1154627d6 100644 --- a/tests/expected/valid-value-checks/maybe_uninit.expected +++ b/tests/expected/valid-value-checks/maybe_uninit.expected @@ -1,4 +1,3 @@ - ** 1 of 14 failed (1 unreachable)\ Failed Checks: Undefined Behavior: Invalid value of type `std::num::NonZero` Verification failed for - check_invalid_zeroed diff --git a/tests/expected/valid-value-checks/write_bytes.expected b/tests/expected/valid-value-checks/write_bytes.expected index 8c14a9046d8d..44da597f8d6f 100644 --- a/tests/expected/valid-value-checks/write_bytes.expected +++ b/tests/expected/valid-value-checks/write_bytes.expected @@ -1,4 +1,3 @@ - ** 1 of 11 failed (1 unreachable)\ Failed Checks: Undefined Behavior: Invalid value of type `char` Verification failed for - check_invalid_write diff --git a/tests/expected/valid-value-checks/write_invalid.expected b/tests/expected/valid-value-checks/write_invalid.expected index ba6c5b2ba65c..46f77dcc8d07 100644 --- a/tests/expected/valid-value-checks/write_invalid.expected +++ b/tests/expected/valid-value-checks/write_invalid.expected @@ -1,10 +1,5 @@ - ** 1 of 19 failed (2 unreachable)\ Failed Checks: Kani currently doesn't support checking validity of `transmute` for `std::option::Option>` - - ** 1 of 43 failed (2 unreachable)\ Failed Checks: Kani currently doesn't support checking validity of `transmute` for `std::option::Option>` - - ** 1 of 18 failed (1 unreachable)\ Failed Checks: Kani currently doesn't support checking validity of `transmute` for `std::option::Option>` Verification failed for - read_invalid_is_ub