Advance version to 2.8.3

Mark R. Tuttle · markrtuttle · commit 26109f1f9262 · 2022-12-21T13:40:44.000-05:00
diff --git a/setup.cfg b/setup.cfg
@@ -2,7 +2,7 @@
 
 [metadata]
 name = cbmc-starter-kit
-version = 2.8.2
+version = 2.8.3
 author = Mark R. Tuttle
 author_email = mrtuttle@amazon.com
 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
@@ -4,7 +4,7 @@
 """Version number."""
 
 NAME = "CBMC starter kit"
-NUMBER = "2.8.2"
+NUMBER = "2.8.3"
 VERSION = f"{NAME} {NUMBER}"
 
 REPLACE_TARGET = '_CBMC_STARTER_KIT_VERSION_'
