Re: [PATCH v4 05/17] verification/rvgen: Improve consistency in template files

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> Template files for rvgen had minor inconsistencies in their
> placeholders for default author and default tracepoint examples. The
> user needs to modify those anyway but keeping consistency may help in
> bulk editing or checking.
>
> Change default author from "dot2k: auto-generated" (for DA/containers)
> or /* TODO */ (for LTL) to the general "rvgen: auto-generated".
>
> Align the sample tracepoint handler name in LTL template to
> handle_example_event, consistently with the rest of the file.
>
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

Reviewed-by: Nam Cao <namcao@xxxxxxxxxxxxx>