update coastal to basetool2

Author: ricffb

benchexec/tools/coastal.py

@@ -5,20 +5,20 @@
 #
 # SPDX-License-Identifier: Apache-2.0
 
-import benchexec.util as util
-import benchexec.tools.template
 import benchexec.result as result
+import benchexec.tools.template
+import benchexec.util as util
 
 
-class Tool(benchexec.tools.template.BaseTool):
+class Tool(benchexec.tools.template.BaseTool2):
     """
     Tool info for COASTAL
     """
 
     REQUIRED_PATHS = ["coastal", "coastal-sv-comp"]
 
-    def executable(self):
-        return util.find_executable("coastal-sv-comp")
+    def executable(self, tool_locator):
+        return tool_locator.find_executable("coastal-sv-comp")
 
     def name(self):
         return "COASTAL"
@@ -31,15 +31,15 @@ def version(self, executable):
         first_line = output.splitlines()[0]
         return first_line.strip()
 
-    def cmdline(self, executable, options, tasks, propertyfile, rlimits):
-        options = options + ["--propertyfile", propertyfile]
-        return [executable] + options + tasks
+    def cmdline(self, executable, options, task, rlimits):
+        options = options + ["--propertyfile", task.property_file]
+        return [executable] + options + list(task.input_files_or_identifier)
 
-    def determine_result(self, returncode, returnsignal, output, isTimeout):
+    def determine_result(self, run):
         # parse output
         status = result.RESULT_UNKNOWN
 
-        for line in output:
+        for line in run.output:
             if "UNSAFE" in line:
                 status = result.RESULT_FALSE_PROP
             elif "SAFE" in line: