From af6386e0bb665864d3d0ed44ebe4e62fbc7ac547 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Fri, 22 Apr 2022 18:21:36 -0400 Subject: [PATCH] Advance version to 3.0 Advancing major version since command interface has changes (make-* utility functions are now subcommands of cbmc-viewer). --- setup.cfg | 2 +- src/cbmc_viewer/version.py | 2 +- src/cbmc_viewer/viewer.py | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) diff --git a/setup.cfg b/setup.cfg index b39b1014..23e574e7 100644 --- a/setup.cfg +++ b/setup.cfg @@ -2,7 +2,7 @@ [metadata] name = cbmc-viewer -version = 2.14 +version = 3.0 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 8d9d248d..75e193eb 100644 --- a/src/cbmc_viewer/version.py +++ b/src/cbmc_viewer/version.py @@ -4,7 +4,7 @@ """Version number.""" NAME = "CBMC viewer" -NUMBER = "2.14" +NUMBER = "3.0" VERSION = "{} {}".format(NAME, NUMBER) def version(display=False): diff --git a/src/cbmc_viewer/viewer.py b/src/cbmc_viewer/viewer.py index 90b111e5..8b80e105 100644 --- a/src/cbmc_viewer/viewer.py +++ b/src/cbmc_viewer/viewer.py @@ -9,7 +9,6 @@ """ from pathlib import Path -import argparse import datetime import logging import os