Advance version to 2.6.

Author: Mark R. Tuttle

cbmc_viewer/version.py

@@ -4,7 +4,7 @@
 """Version number."""
 
 NAME = "CBMC viewer"
-NUMBER = "2.5"
+NUMBER = "2.6"
 VERSION = "{} {}".format(NAME, NUMBER)
 
 def version(display=False):

setup.py

@@ -9,7 +9,7 @@
 
 setuptools.setup(
     name="cbmc-viewer",
-    version="2.0",
+    version="2.6",
     author="Mark R. Tuttle",
     author_email="[email protected]",
     description="A CBMC viewer",