On Mon, 2026-01-19 at 17:45 -0300, Wander Lairson Costa wrote: > 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 <[email protected]>
Good catch, thanks! Reviewed-by: Gabriele Monaco <[email protected]> > --- > tools/verification/rvgen/rvgen/generator.py | 6 ------ > 1 file changed, 6 deletions(-) > > diff --git a/tools/verification/rvgen/rvgen/generator.py > b/tools/verification/rvgen/rvgen/generator.py > index 0491f8c9cb0b9..d99a980850d64 100644 > --- a/tools/verification/rvgen/rvgen/generator.py > +++ b/tools/verification/rvgen/rvgen/generator.py > @@ -206,12 +206,6 @@ obj-$(CONFIG_RV_MON_{name_up}) += > monitors/{name}/{name}.o > path = os.path.join(self.rv_dir, "monitors", path) > self.__write_file(path, content) > > - def __get_main_name(self): > - path = f"{self.name}/main.c" > - if not os.path.exists(path): > - return "main.c" > - return "__main.c" > - > def print_files(self): > main_c = self.fill_main_c() >
