cprover
version.cpp
Go to the documentation of this file.
1 const char *CBMC_VERSION="5.12 (n/a)";
CBMC_VERSION
const char * CBMC_VERSION
Definition: version.cpp:1