Skip to content

Commit 4a0bf48

Browse files
fix(comment): review suggestion
Co-authored-by: Stefano Garzarella <sgarzare@redhat.com>
1 parent 6ac82d5 commit 4a0bf48

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

virtio-queue/Cargo.toml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,10 @@ vm-memory = { workspace = true, features = ["backend-mmap", "backend-bitmap", "b
3434
name = "main"
3535
harness = false
3636

37-
# Needed for kani
38-
# See https://model-checking.github.io/kani/usage.html#configuration-in-cargotoml
37+
# From https://model-checking.github.io/kani/usage.html#configuration-in-cargotoml
38+
#
39+
# Starting with Rust 1.80 (or nightly-2024-05-05), every reachable #[cfg] will be automatically
40+
# checked that they match the expected config names and values. To avoid warnings on
41+
# cfg(kani), we recommend adding the check-cfg lint config in your crate's Cargo.toml
3942
[lints.rust]
4043
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }

0 commit comments

Comments
 (0)