Fix Korn toolinfo module, include data_model (sosy-lab#1101)

---------

Co-authored-by: Gidon Ernst <[email protected]>

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