cprover
version.h
Go to the documentation of this file.
1 #ifndef CPROVER_CBMC_VERSION_H
2 #define CPROVER_CBMC_VERSION_H
3 
4 #define CBMC_VERSION "5.8"
5 
6 #endif // CPROVER_CBMC_VERSION_H