Skip to content

Commit

Permalink
Upgrade Rust toolchain to nightly-2024-01-24 (rust-lang#3008)
Browse files Browse the repository at this point in the history
Resolves model-checking/kani#3007.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
  • Loading branch information
feliperodri authored Feb 8, 2024
1 parent f8fabc4 commit 3ceefa7
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@
# SPDX-License-Identifier: Apache-2.0 OR MIT

[toolchain]
channel = "nightly-2024-01-23"
channel = "nightly-2024-01-24"
components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
4 changes: 2 additions & 2 deletions tests/expected/any_vec/exact_length.expected
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
Checking harness check_access_length_17...

Failed Checks: assumption failed\
in <usize as std::slice::SliceIndex<[Dummy]>>::get_unchecked
in std::hint::assert_unchecked

Checking harness check_access_length_zero...

Failed Checks: assumption failed\
in <usize as std::slice::SliceIndex<[u8]>>::get_unchecked
in std::hint::assert_unchecked

Verification failed for - check_access_length_17
Verification failed for - check_access_length_zero
2 changes: 1 addition & 1 deletion tests/expected/any_vec/out_bounds.expected
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Checking harness check_always_out_bounds...

Failed Checks: assumption failed
in <usize as std::slice::SliceIndex<[u8]>>::get_unchecked
in std::hint::assert_unchecked

Verification failed for - check_always_out_bounds

0 comments on commit 3ceefa7

Please sign in to comment.