Skip to content

Commit

Permalink
Advance version to 2.9
Browse files Browse the repository at this point in the history
This release of the starter kit adds a GitHub Action Workflow file that
runs CBMC proofs upon pull requests.
  • Loading branch information
karkhaz committed Feb 14, 2023
1 parent e72da60 commit dac7b1c
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion setup.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

[metadata]
name = cbmc-starter-kit
version = 2.8.8
version = 2.9
author = Mark R. Tuttle
author_email = [email protected]
description = CBMC starter kit makes it easy to add CBMC verification to a software project
Expand Down
2 changes: 1 addition & 1 deletion src/cbmc_starter_kit/version.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
import os

NAME = "CBMC starter kit"
NUMBER = "2.8.8"
NUMBER = "2.9"
VERSION = f"{NAME} {NUMBER}"

REPLACE_TARGET = '_CBMC_STARTER_KIT_VERSION_'
Expand Down

0 comments on commit dac7b1c

Please sign in to comment.