Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
rv/rvgen: remove unused __get_main_name method
The __get_main_name() method in the generator module is never called
from anywhere in the codebase. Remove this dead code to improve
maintainability.
Signed-off-by: Wander Lairson Costa <wander@redhat.com>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/r/20260223162407.147003-14-wander@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
authored by
Wander Lairson Costa
and committed by
Gabriele Monaco
1b615bb0
0f57f9ad
-6
-6
tools/verification/rvgen/rvgen/generator.py
-6
tools/verification/rvgen/rvgen/generator.py
···
205
205
path = os.path.join(self.rv_dir, "monitors", path)
206
206
self.__write_file(path, content)
207
207
208
-
def __get_main_name(self):
209
-
path = f"{self.name}/main.c"
210
-
if not os.path.exists(path):
211
-
return "main.c"
212
-
return "__main.c"
213
-
214
208
def print_files(self):
215
209
main_c = self.fill_main_c()
216
210