Skip to content

CBMC_VERSION: Use generated include files instead of command-line defines#2393

Merged
tautschnig merged 2 commits intodiffblue:developfrom
tautschnig:git-info-cmake-fixes
Jun 24, 2018

Commits

Commits on Jun 23, 2018