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