Skip to content

Commit dd7fea3

Browse files
Mark R. Tuttlemarkrtuttle
authored andcommitted
Advance version to 3.3
1 parent 9fd5844 commit dd7fea3

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

setup.cfg

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
[metadata]
44
name = cbmc-viewer
5-
version = 3.2
5+
version = 3.3
66
author = Mark R. Tuttle
77
author_email = [email protected]
88
description = CBMC viewer produces a browsable summary of CBMC findings

src/cbmc_viewer/version.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
"""Version number."""
55

66
NAME = "CBMC viewer"
7-
NUMBER = "3.2"
7+
NUMBER = "3.3"
88
VERSION = f"{NAME} {NUMBER}"
99

1010
def version(display=False):

0 commit comments

Comments
 (0)