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

Commits

Commits on Aug 18, 2026