We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 808dbd8 commit a6023a8Copy full SHA for a6023a8
virtio-queue/Cargo.toml
@@ -26,7 +26,7 @@ memoffset = "0.9.0"
26
# The following deps are needed only under kani
27
[target.'cfg(kani)'.dependencies]
28
libc = "0.2.161"
29
-vm-memory = { workspace = true, features = ["backend-mmap", "backend-bitmap", "backend-atomic"] }
+vm-memory = { workspace = true, features = ["backend-mmap"] }
30
31
[[bench]]
32
name = "main"
0 commit comments