Skip to content

Warn when the CBMC on PATH does not match the pinned version - #4723

Open
ivmat wants to merge 1 commit into
model-checking:mainfrom
ivmat:cbmc-pin-rebase
Open

Warn when the CBMC on PATH does not match the pinned version#4723
ivmat wants to merge 1 commit into
model-checking:mainfrom
ivmat:cbmc-pin-rebase

Warn when the CBMC on PATH does not match the pinned version

7dc93d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 18, 2026 in 5s