Skip to content

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

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
ivmat:cbmc-pin-rebase
Aug 27, 2026
Merged

Warn when the CBMC on PATH does not match the pinned version#4723
feliperodri merged 2 commits into
model-checking:mainfrom
ivmat:cbmc-pin-rebase

Merge branch 'main' into cbmc-pin-rebase

ed53ab6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 26, 2026 in 8s