cprover
version.cpp File Reference

Go to the source code of this file.

Variables

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

Variable Documentation

◆ CBMC_VERSION