Re: [PATCH v3 12/17] rv: Add KUnit tests for some LTL monitors
From: Nam Cao
Date: Tue Jul 07 2026 - 03:14:55 EST
Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> Validate the functionality of LTL monitors by injecting events in a
> controlled environment (KUnit) and expecting reactions, just like it is
> done in DA monitors.
>
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>
Reviewed-by: Nam Cao <namcao@xxxxxxxxxxxxx>