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