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.
2 parents 6253e8c + af94148 commit 7727f45Copy full SHA for 7727f45
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.41.0
+CBMC_VERSION = 5.42.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