Skip to content

Commit 8a41865

Browse files
authoredApr 29, 2022
Merge pull request #6837 from NlightNFotis/cbmc-5.56.0
Mark CBMC version 5.56.0
2 parents da7edc5 + 2e306c6 commit 8a41865

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎src/config.inc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ endif
7676
OSX_IDENTITY="Developer ID Application: Daniel Kroening"
7777

7878
# Detailed version information
79-
CBMC_VERSION = 5.55.0
79+
CBMC_VERSION = 5.56.0
8080

8181
# Use the CUDD library for BDDs, can be installed using `make -C src cudd-download`
8282
# CUDD = ../../cudd-3.0.0

0 commit comments

Comments
 (0)
Please sign in to comment.