Skip to content

Commit

Permalink
Reorder command-line arguments for MoXI-MC-Flow
Browse files Browse the repository at this point in the history
- task first, then options
  • Loading branch information
Po-Chun-Chien committed Jul 14, 2024
1 parent 6fb44c1 commit ded94a4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion benchexec/tools/moxi-mc-flow.py
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ def program_files(self, executable):
def cmdline(self, executable, options, task, rlimits):
if rlimits.cputime and "--timeout" not in options:
options += ["--timeout", str(rlimits.cputime)]
return ["python3", executable, *options, task.single_input_file]
return ["python3", executable, task.single_input_file, *options]

def determine_result(self, run):
"""
Expand Down

0 comments on commit ded94a4

Please sign in to comment.