Add link to GitHub issue

model-checking · Mar 22, 2024 · b05e60e · b05e60e
1 parent 00e006c
commit b05e60e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/kani/Spurious/storage_fixme.rs b/tests/kani/Spurious/storage_fixme.rs
@@ -3,6 +3,9 @@
 // Modifications Copyright Kani Contributors
 // See GitHub history for details.
 
+// Our handling of storage markers causes spurious failures in this test.
+// https://github.com/model-checking/kani/issues/3099
+
 use std::alloc::Layout;
 use std::marker::PhantomData;
 use std::mem::ManuallyDrop;