We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d59e8f8 commit 6a4675fCopy full SHA for 6a4675f
src/config.inc
@@ -76,7 +76,7 @@ endif
76
OSX_IDENTITY="Developer ID Application: Daniel Kroening"
77
78
# Detailed version information
79
-CBMC_VERSION = 5.48.0
+CBMC_VERSION = 5.49.0
80
81
# Use the CUDD library for BDDs, can be installed using `make -C src cudd-download`
82
# CUDD = ../../cudd-3.0.0
0 commit comments