From a01f1c5fcafcf90e1b1e55a15e89eb4b789112e2 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 21 Dec 2022 13:51:34 -0500 Subject: [PATCH] Advance version to 3.8.4 --- 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 80bc7ce..6ad1b95 100644 --- a/setup.cfg +++ b/setup.cfg @@ -2,7 +2,7 @@ [metadata] name = cbmc-starter-kit -version = 2.8.3 +version = 2.8.4 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 5e67c72..c601c09 100644 --- 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.3" +NUMBER = "2.8.4" VERSION = f"{NAME} {NUMBER}" REPLACE_TARGET = '_CBMC_STARTER_KIT_VERSION_'