From f7d895528b8167379d0efdf56546b0a7c1ad6ab2 Mon Sep 17 00:00:00 2001 From: Gidon Ernst Date: Thu, 7 Nov 2024 10:54:49 +0200 Subject: [PATCH] Fix Korn toolinfo module, include data_model (#1101) --------- Co-authored-by: Gidon Ernst --- benchexec/tools/korn.py | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/benchexec/tools/korn.py b/benchexec/tools/korn.py index 06ce5938a..5c4a75955 100644 --- a/benchexec/tools/korn.py +++ b/benchexec/tools/korn.py @@ -9,6 +9,8 @@ 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): """ @@ -19,10 +21,12 @@ class Tool(benchexec.tools.template.BaseTool2): "run", "korn.jar", "z3", + "golem", "eld", "eld.jar", "__VERIFIER.c", "__VERIFIER_random.c", + "__VERIFIER_zero.c", ] def executable(self, tool_locator): @@ -37,6 +41,19 @@ def name(self): def project_url(self): return "https://github.com/gernst/korn" + def cmdline(self, executable, options, task, rlimits): + cmd = [executable] + cmd = cmd + options + + data_model_param = get_data_model_from_task(task, {ILP32: "-32", LP64: "-64"}) + + if data_model_param and data_model_param not in options: + cmd += data_model_param + + cmd = cmd + [task.single_input_file] + + return cmd + def determine_result(self, run): """ Parse structured tool output