version.h

Go to the documentation of this file.

extern const char *CBMC_VERSION;