Bump to version 2.10 (#197)

Signed-off-by: Felipe R. Monteiro <[email protected]>
model-checking · May 3, 2023 · ba019b2 · ba019b2
1 parent b66babc
commit ba019b2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/setup.cfg b/setup.cfg
@@ -2,7 +2,7 @@
 
 [metadata]
 name = cbmc-starter-kit
-version = 2.9
+version = 2.10
 author = Mark R. Tuttle
 author_email = [email protected]
 description = CBMC starter kit makes it easy to add CBMC verification to a software project

diff --git a/src/cbmc_starter_kit/version.py b/src/cbmc_starter_kit/version.py
@@ -6,7 +6,7 @@
 import os
 
 NAME = "CBMC starter kit"
-NUMBER = "2.9"
+NUMBER = "2.10"
 VERSION = f"{NAME} {NUMBER}"
 
 REPLACE_TARGET = '_CBMC_STARTER_KIT_VERSION_'