cprover
version.h
Go to the documentation of this file.
1
extern
const
char
*
CBMC_VERSION
;
CBMC_VERSION
const char * CBMC_VERSION
Definition:
version.cpp:1
util
version.h
Generated by
1.8.16