From dd7fea375b32283cc5926ef2adf1cc61b8a57830 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Thu, 19 May 2022 20:53:06 -0400 Subject: [PATCH] Advance version to 3.3 --- setup.cfg | 2 +- src/cbmc_viewer/version.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/setup.cfg b/setup.cfg index 88a87ce..15ea217 100644 --- a/setup.cfg +++ b/setup.cfg @@ -2,7 +2,7 @@ [metadata] name = cbmc-viewer -version = 3.2 +version = 3.3 author = Mark R. Tuttle author_email = mrtuttle@amazon.com description = CBMC viewer produces a browsable summary of CBMC findings diff --git a/src/cbmc_viewer/version.py b/src/cbmc_viewer/version.py index 907aadd..8a10d37 100644 --- a/src/cbmc_viewer/version.py +++ b/src/cbmc_viewer/version.py @@ -4,7 +4,7 @@ """Version number.""" NAME = "CBMC viewer" -NUMBER = "3.2" +NUMBER = "3.3" VERSION = f"{NAME} {NUMBER}" def version(display=False):