Commit 65e5202

authored

Add test for rust-lang#3099 (rust-lang#3100)

Add a reproducer for rust-lang#3099.

1 parent 54f9267 commit 65e5202Copy full SHA for 65e5202

1 file changed

+652

-0

lines changed

tests/kani/Spurious
- storage_fixme.rs

1 file changed

+652

-0

lines changed

Comments

(0)