Merge pull request #3575 from diffblue/cbmc-version-cpp-5-11

Daniel Kroening · web-flow · commit a15d04490967 · 2018-12-19T09:33:31.000Z
increase version number ahead of release 5.11
diff --git a/src/config.inc b/src/config.inc
@@ -71,4 +71,4 @@ endif
 OSX_IDENTITY="Developer ID Application: Daniel Kroening"
 
 # Detailed version information
-CBMC_VERSION = 5.10
+CBMC_VERSION = 5.11
