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