Re: [PATCH v3 01/17] rv: Use generic rv_this for the rv_monitor variable in LTL

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> Align the rv_monitor variable name in LTL to the generic rv_this as it
> is already done for DA/HA monitors. This improves consistency and eases
> assumptions across model classes.
>
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

Reviewed-by: Nam Cao <namcao@xxxxxxxxxxxxx>