Skip to content

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

Open
MavenRain wants to merge 1 commit into
model-checking:mainfrom
MavenRain:463-crate-from-file-path
Open

Attribute cfg(kani) harnesses to their crate in log_parser#609
MavenRain wants to merge 1 commit into
model-checking:mainfrom
MavenRain:463-crate-from-file-path

Attribute cfg(kani) harnesses to their crate in log_parser

9099388
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify contracts with goto-transcoder
succeeded Jul 16, 2026 in 15m 11s