From 73799c25bb99550621a77041a317f93ded88ce30 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Fri, 16 Dec 2022 12:00:43 -0500 Subject: [PATCH] Advance version to 3.7 --- 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 7a4f1a0..a926c88 100644 --- a/setup.cfg +++ b/setup.cfg @@ -2,7 +2,7 @@ [metadata] name = cbmc-viewer -version = 3.6 +version = 3.7 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 0251f0d..e30df3f 100644 --- a/src/cbmc_viewer/version.py +++ b/src/cbmc_viewer/version.py @@ -4,7 +4,7 @@ """Version number.""" NAME = "CBMC viewer" -NUMBER = "3.6" +NUMBER = "3.7" VERSION = f"{NAME} {NUMBER}" def version(display=False):