cprover
version.cpp File Reference

Go to the source code of this file.

Variables

const char * CBMC_VERSION ="5.12 (n/a)"
 

Variable Documentation

◆ CBMC_VERSION

const char* CBMC_VERSION ="5.12 (n/a)"

Definition at line 1 of file version.cpp.