We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4c06670 commit 3049a34Copy full SHA for 3049a34
cbmc_viewer/version.py
@@ -4,7 +4,7 @@
4
"""Version number."""
5
6
NAME = "CBMC viewer"
7
-NUMBER = "2.9"
+NUMBER = "2.10"
8
VERSION = "{} {}".format(NAME, NUMBER)
9
10
def version(display=False):
setup.py
@@ -9,7 +9,7 @@
setuptools.setup(
11
name="cbmc-viewer",
12
- version="2.9",
+ version="2.10",
13
author="Mark R. Tuttle",
14
author_email="mrtuttle@amazon.com",
15
description="A CBMC viewer",
0 commit comments