Attribute cfg(kani) harnesses to their crate in log_parser#609

MavenRain wants to merge 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

MavenRain:463-crate-from-file-pathMavenRain/verify-rust-std:463-crate-from-file-pathCopy head branch name to clipboard