From 288d86b633df26fcbdfc972738b56a336f942edf Mon Sep 17 00:00:00 2001 From: Po-Chun Chien Date: Tue, 16 Jul 2024 15:19:13 +0200 Subject: [PATCH] Add 5% more runtime to MoXI-MC-Flow's time-limit option - otherwise it usually kills the underlying model checker before actually reaching the time limit --- benchexec/tools/moxi-mc-flow.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/benchexec/tools/moxi-mc-flow.py b/benchexec/tools/moxi-mc-flow.py index cb4aa2e15..f4f3b0c92 100644 --- a/benchexec/tools/moxi-mc-flow.py +++ b/benchexec/tools/moxi-mc-flow.py @@ -7,6 +7,7 @@ import benchexec.result as result import benchexec.tools.template +from math import ceil class Tool(benchexec.tools.template.BaseTool2): @@ -36,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)] + options += ["--timeout", str(ceil(rlimits.cputime * 1.05))] return ["python3", executable, task.single_input_file, *options] def determine_result(self, run):