Hornix: Use semantic versioning regex for version extraction

benchexec/tools/hornix.py

@@ -24,8 +24,10 @@ def executable(self, tool_locator):
 
     def version(self, executable):
         output = self._version_from_tool(executable, arg="--version")
-        version_pattern = r"\d+\.\d+\.\d+"
-        match = re.search(version_pattern, output)
+
+        # regex for semantic versioning taken from https://semver.org
+        semantic_versioning_pattern = r"(0|[1-9]\d*)\.(0|[1-9]\d*)\.(0|[1-9]\d*)(?:-((?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*)(?:\.(?:0|[1-9]\d*|\d*[a-zA-Z-][0-9a-zA-Z-]*))*))?(?:\+([0-9a-zA-Z-]+(?:\.[0-9a-zA-Z-]+)*))?"
+        match = re.search(semantic_versioning_pattern, output)
         return match.group(0) if match else ""
 
     def name(self):