Bumped version number to 1.7.2

Author: zvonimir

Doxyfile

@@ -5,7 +5,7 @@
 #---------------------------------------------------------------------------
 DOXYFILE_ENCODING      = UTF-8
 PROJECT_NAME           = smack
-PROJECT_NUMBER         = 1.7.1
+PROJECT_NUMBER         = 1.7.2
 PROJECT_BRIEF          = "A bounded software verifier."
 PROJECT_LOGO           =
 OUTPUT_DIRECTORY       = docs

bin/package-smack.sh

@@ -6,7 +6,7 @@
 # Note: this script requires CDE to be downloaded from
 # http://www.pgbovine.net/cde.html
 
-VERSION=1.7.1
+VERSION=1.7.2
 PACKAGE=smack-$VERSION-64
 
 # Create folder to export

share/smack/reach.py

@@ -11,7 +11,7 @@
 from smackgen import *
 from smackverify import *
 
-VERSION = '1.7.1'
+VERSION = '1.7.2'
 
 def reachParser():
     parser = argparse.ArgumentParser(add_help=False, parents=[verifyParser()])

share/smack/top.py

@@ -14,7 +14,7 @@
 from svcomp.utils import svcomp_frontend
 from svcomp.utils import verify_bpl_svcomp
 
-VERSION = '1.7.1'
+VERSION = '1.7.2'
 temporary_files = []
 
 def frontends():

svcomp/bench/src/benchexec/benchexec/tools/smack_benchexec_driver.py

@@ -35,7 +35,7 @@ def version(self, executable):
         Sets the version number for SMACK, which gets displayed in the "Tool" row
         in BenchExec table headers.
         """
-        return '1.7.1'
+        return '1.7.2'
 
     def name(self):
         """