Gabriele Monaco <[email protected]> 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 <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
