Skip to content

Commit

Permalink
tabs and spaces fix?
Browse files Browse the repository at this point in the history
  • Loading branch information
echancrure committed Oct 8, 2024
1 parent 7c24bd8 commit db24db8
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions benchexec/tools/sikraken.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,11 @@ class Tool(benchexec.tools.template.BaseTool2):
"""

def name(self):
return "Sikraken"
return "Sikraken"

def project_url(self):
return "https://github.com/echancrure/Sikraken"
return "https://github.com/echancrure/Sikraken"

def executable(self, tool_locator):
return tool_locator.find_executable("sikraken.sh", subdir="bin")

Expand All @@ -31,7 +31,7 @@ def cmdline(self, executable, options, task, rlimits):
data_model_param = get_data_model_from_task(task, {ILP32: "-m32", LP64: "-m64"})
options += [data_model_param]
return [executable] + options + [task.single_input_file]

def determine_result(self, run):
status = result.RESULT_DONE
return status

0 comments on commit db24db8

Please sign in to comment.