Skip to content

Set kani-compiler's required rustc flags unconditionally#4601

Open
lovesegfault wants to merge 2 commits into
model-checking:mainfrom
lovesegfault:compiler-defaults
Open

Set kani-compiler's required rustc flags unconditionally#4601
lovesegfault wants to merge 2 commits into
model-checking:mainfrom
lovesegfault:compiler-defaults

Add integration test for kani-compiler default rustc flags

919d5b6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded May 22, 2026 in 6s