Merge pull request #961 from sim642/goblint-url_for_version

goblint: implement `url_for_version`

benchexec/tools/goblint.py

@@ -23,6 +23,17 @@ def executable(self, tool_locator):
     def version(self, executable):
         return self._version_from_tool(executable, line_prefix="Goblint version: ")
 
+    def url_for_version(self, version):
+        m = re.fullmatch(r"(heads|tags)/(.+)-(\d+)-g([0-9a-f]{7,})(-dirty)?", version)
+        if m:
+            return f"https://github.com/goblint/analyzer/commit/{m.group(4)}"
+
+        m = re.fullmatch(r"([0-9.]+) ([0-9a-f]{40})", version)
+        if m:
+            return f"https://github.com/goblint/analyzer/commit/{m.group(2)}"
+
+        return None
+
     def name(self):
         return "Goblint"