Merge pull request #1157 from Po-Chun-Chien/pono-get-version

Getting version from Pono

Author: PhilippWendler

benchexec/tools/pono.py

@@ -23,6 +23,9 @@ def name(self):
     def project_url(self):
         return "https://github.com/stanford-centaur/pono"
 
+    def version(self, executable):
+        return self._version_from_tool(executable, expected_exitcode=2)
+
     def cmdline(self, executable, options, task, rlimits):
         return [executable] + options + [task.single_input_file]
 
@@ -35,4 +38,6 @@ def determine_result(self, run):
                 return result.RESULT_TRUE_PROP
             if line.startswith("sat"):
                 return result.RESULT_FALSE_PROP
+            if line.startswith("unknown"):
+                return result.RESULT_UNKNOWN
         return result.RESULT_ERROR

benchexec/tools/template.py

@@ -140,6 +140,8 @@ def _version_from_tool(
         use_stderr=False,
         ignore_stderr=False,
         line_prefix=None,
+        *,
+        expected_exitcode=0,
     ):
         """
         Get version of a tool by executing it with argument "--version"
@@ -148,6 +150,7 @@ def _version_from_tool(
         @param arg: an argument to pass to the tool to let it print its version
         @param use_stderr: True if the tool prints version on stderr, False for stdout
         @param line_prefix: if given, search line with this prefix and return only the rest of this line
+        @param expected_exitcode: the expected exit code after running the version-retrieval command
         @return a (possibly empty) string of output of the tool
         """
         try:
@@ -170,7 +173,7 @@ def _version_from_tool(
                 process.stderr,
             )
             return ""
-        if process.returncode:
+        if process.returncode != expected_exitcode:
             logging.warning(
                 "Cannot determine %s version, exit code %s",
                 executable,