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