cprover
Variables
version.cpp File Reference
Go to the source code of this file.
Variables
const char *
CBMC_VERSION
="5.11 (n/a)"
Variable Documentation
◆
CBMC_VERSION
const char* CBMC_VERSION ="5.11 (n/a)"
Definition at line
1
of file
version.cpp
.
util
version.cpp
Generated by
1.8.16