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 fbe42ba commit 7a61857Copy full SHA for 7a61857
setup.cfg
@@ -2,7 +2,7 @@
2
3
[metadata]
4
name = cbmc-viewer
5
-version = 3.5
+version = 3.6
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 = "3.5"
+NUMBER = "3.6"
VERSION = f"{NAME} {NUMBER}"
9
10
def version(display=False):
0 commit comments