Skip to content

Commit

Permalink
Use CBMC version 6.0.1
Browse files Browse the repository at this point in the history
  • Loading branch information
@tautschnig
tautschnig committed Jun 21, 2024
1 parent bb373f2 commit fda6424
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion kani-dependencies
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CBMC_MAJOR="6"
CBMC_MINOR="0"
CBMC_VERSION="6.0.0"
CBMC_VERSION="6.0.1"

# If you update this version number, remember to bump it in `src/setup.rs` too
CBMC_VIEWER_MAJOR="3"
Expand Down

0 comments on commit fda6424

Please sign in to comment.