CBMC
version.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Variables

const char * CBMC_VERSION
 

Variable Documentation

◆ CBMC_VERSION

const char* CBMC_VERSION
extern