From 41c90daa79d634ad0cbb2141014ca90e3ae08b12 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Thu, 5 May 2022 03:58:01 +0000 Subject: [PATCH] Advance version to 3.2 --- 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 2a37e46..88a87ce 100644 --- a/setup.cfg +++ b/setup.cfg @@ -2,7 +2,7 @@ [metadata] name = cbmc-viewer -version = 3.1 +version = 3.2 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 2a9679b..907aadd 100644 --- a/src/cbmc_viewer/version.py +++ b/src/cbmc_viewer/version.py @@ -4,7 +4,7 @@ """Version number.""" NAME = "CBMC viewer" -NUMBER = "3.1" +NUMBER = "3.2" VERSION = f"{NAME} {NUMBER}" def version(display=False):