From ea6173ba5101b9aa42c42d35d8279b881c4bf6db Mon Sep 17 00:00:00 2001 From: Mordan Vitalii Date: Fri, 6 Oct 2023 19:33:44 +0700 Subject: [PATCH] Add directory with cil file to MEA sources --- scripts/klever_bridge/launcher.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/scripts/klever_bridge/launcher.py b/scripts/klever_bridge/launcher.py index 89e0d63..fa226de 100644 --- a/scripts/klever_bridge/launcher.py +++ b/scripts/klever_bridge/launcher.py @@ -59,6 +59,9 @@ def __process_single_klever_result(self, result: VerificationResults, output_dir for file in glob.glob(os.path.join(output_dir, "*files")): if file.endswith(".log"): files.append(file) + if COMPONENT_MEA not in self.config: + self.config[COMPONENT_MEA] = {} + self.config[COMPONENT_MEA][TAG_SOURCE_DIR] = os.path.join(output_dir, os.path.pardir) launch_directory = self._copy_result_files(files, self.process_dir) result.work_dir = launch_directory @@ -98,10 +101,6 @@ def __parse_tasks_dir(self, processed_tasks: dict, job_id: str): job_config[TAG_CONFIG_OPTIONS] = options for run in root.findall('./run'): - # Actually we expect only one run here - # file_name = os.path.realpath(os.path.normpath(os.path.abspath(os.path.join( - # output_dir, os.path.pardir, CIL_FILE - # )))) result = VerificationResults(None, self.config) result.entrypoint = module result.rule = prop