We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 19f0b71 commit af6386eCopy full SHA for af6386e
setup.cfg
@@ -2,7 +2,7 @@
2
3
[metadata]
4
name = cbmc-viewer
5
-version = 2.14
+version = 3.0
6
author = Mark R. Tuttle
7
author_email = [email protected]
8
description = CBMC viewer produces a browsable summary of CBMC findings
src/cbmc_viewer/version.py
@@ -4,7 +4,7 @@
"""Version number."""
NAME = "CBMC viewer"
-NUMBER = "2.14"
+NUMBER = "3.0"
VERSION = "{} {}".format(NAME, NUMBER)
9
10
def version(display=False):
src/cbmc_viewer/viewer.py
@@ -9,7 +9,6 @@
"""
11
from pathlib import Path
12
-import argparse
13
import datetime
14
import logging
15
import os
0 commit comments