Added data_model option in veriabs.py
import benchexec.tools.template
import benchexec.result as result
+from benchexec.tools.sv_benchmarks_util import get_data_model_from_task, ILP32, LP64
class Tool(benchexec.tools.template.BaseTool2):
@@ -48,6 +49,9 @@ class Tool(benchexec.tools.template.BaseTool2):
def cmdline(self, executable, options, task, rlimits):
if task.property_file:
options += ["--property-file", task.property_file]
+ data_model_param = get_data_model_from_task(task, {ILP32: "-32", LP64: "-64"})
+ if data_model_param and data_model_param not in options:
+ options += [data_model_param]
return [executable] + options + [task.single_input_file]
def determine_result(self, run):
