Do not define project(CBMC ...) twice to fix CMake failures#8435
Merged
tautschnig merged 1 commit intodiffblue:developfrom Sep 5, 2024
Merged
Do not define project(CBMC ...) twice to fix CMake failures#8435tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
