From dac7b1c132a6eaae620a4873b8356150b27c2e54 Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@amazon.com>
Date: Mon, 13 Feb 2023 16:10:02 +0000
Subject: [PATCH] Advance version to 2.9

This release of the starter kit adds a GitHub Action Workflow file that
runs CBMC proofs upon pull requests.
---
 setup.cfg                       | 2 +-
 src/cbmc_starter_kit/version.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup.cfg b/setup.cfg
index 1744e0a..7d15973 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -2,7 +2,7 @@
 
 [metadata]
 name = cbmc-starter-kit
-version = 2.8.8
+version = 2.9
 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
index ca061c4..d38d814 100644
--- 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.8.8"
+NUMBER = "2.9"
 VERSION = f"{NAME} {NUMBER}"
 
 REPLACE_TARGET = '_CBMC_STARTER_KIT_VERSION_'