Skip to content

Commit e2b9c96

Browse files
committed
Release CBMC version 6
1 parent bc46c88 commit e2b9c96

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/config.inc

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

8181
# Detailed version information
82-
CBMC_VERSION = 6.0.0-preview
82+
CBMC_VERSION = 6.0.0
8383

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

src/libcprover-rust/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "libcprover_rust"
3-
version = "6.0.0-preview"
3+
version = "6.0.0"
44
edition = "2021"
55
description = "Rust API for CBMC and assorted CProver tools"
66
repository = "https://github.com/diffblue/cbmc"

0 commit comments

Comments
 (0)