cprover
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

Definition at line 1 of file version.cpp.