Specify missing file name in exception

ispras · Nov 21, 2023 · 3b12555 · 3b12555
1 parent e7a0d7e
commit 3b12555
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mea/et/internal_witness.py b/scripts/mea/et/internal_witness.py
@@ -161,7 +161,7 @@ def add_file(self, file_name):
                 self._logger.warning(no_file_str)
                 if no_file_str not in self._warnings:
                     self._warnings.append(f"There is no file {file_name}")
-                raise FileNotFoundError
+                raise FileNotFoundError(f"There is no file {file_name}")
             self._files.append(file_name)
             return self._resolve_file_id(file_name)
         return self._resolve_file_id(file_name)