Skip to content

Commit

Permalink
update spf to BaseTool2
Browse files Browse the repository at this point in the history
  • Loading branch information
ricffb committed Dec 17, 2024
1 parent f3dcc40 commit 3b552c5
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions benchexec/tools/spf.py
Original file line number Diff line number Diff line change
Expand Up @@ -5,12 +5,11 @@
#
# SPDX-License-Identifier: Apache-2.0

import benchexec.util as util
import benchexec.tools.template
import benchexec.result as result
import benchexec.tools.template


class Tool(benchexec.tools.template.BaseTool):
class Tool(benchexec.tools.template.BaseTool2):
"""
Tool info for JPF with symbolic extension (SPF)
"""
Expand All @@ -25,8 +24,8 @@ class Tool(benchexec.tools.template.BaseTool):
"jpf-sv-comp",
]

def executable(self):
return util.find_executable("jpf-sv-comp")
def executable(self, tool_locator):
return tool_locator.find_executable("jpf-sv-comp")

def name(self):
return "SPF"
Expand All @@ -39,11 +38,12 @@ 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, tasks, rlimits):
options = options + ["--propertyfile", tasks.property_file]
return [executable] + options + list(tasks.input_files_or_identifier)

def determine_result(self, returncode, returnsignal, output, isTimeout):
def determine_result(self, run):
output = run.output
# parse output
status = result.RESULT_UNKNOWN

Expand Down

0 comments on commit 3b552c5

Please sign in to comment.