Merge pull request #1118 from blishko/hornix-version-processing

Hornix: Get only version number, without the name of the tool

benchexec/tools/hornix.py

@@ -6,6 +6,8 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 
+import re
+
 import benchexec
 import benchexec.result as result
 
@@ -21,7 +23,10 @@ def executable(self, tool_locator):
         return tool_locator.find_executable("hornix")
 
     def version(self, executable):
-        return self._version_from_tool(executable, arg="--version")
+        output = self._version_from_tool(executable, arg="--version")
+        version_pattern = r"\d+\.\d+\.\d+"
+        match = re.search(version_pattern, output)
+        return match.group(0) if match else ""
 
     def name(self):
         """The human-readable name of the tool."""