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 103162f commit d870369Copy full SHA for d870369
cbmc_viewer/version.py
@@ -4,7 +4,7 @@
4
"""Version number."""
5
6
NAME = "CBMC viewer"
7
-NUMBER = "2.6"
+NUMBER = "2.7"
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.6",
+ version="2.7",
13
author="Mark R. Tuttle",
14
author_email="[email protected]",
15
description="A CBMC viewer",
0 commit comments