Add directory with cil file to MEA sources

ispras · Oct 6, 2023 · ea6173b · ea6173b
1 parent d4eae4a
commit ea6173b
Showing 1 changed file with 3 additions and 4 deletions.
diff --git 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