Update sesl.py for SVCOMP 2022
import benchexec.result as result
import benchexec.tools.template
+from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
class Tool(benchexec.tools.template.BaseTool2):
@@ -31,6 +32,11 @@ class Tool(benchexec.tools.template.BaseTool2):
return self._version_from_tool(executable, arg="--version")
def cmdline(self, executable, options, task, rlimits):
+ data_model_param = get_data_model_from_task(
+ task, {ILP32: "-bw 32", LP64: "-bw 64"}
+ )
+ if data_model_param:
+ options += [data_model_param]
options += ["-t", "--sh-mem-leak", "--add-line-info"]
if task.property_file:
options += ["--svcomp-property", task.property_file]
