linux/include/rv
Gabriele Monaco 51f3fe704a rv: Add KUnit tests for some LTL monitors
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.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260723074534.43521-15-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2026-07-31 16:27:46 +02:00
..
automata.h rv: Cleanup da_monitor after refactor 2026-01-12 07:43:49 +01:00
da_monitor.h rv: Add KUnit mock for current 2026-07-31 16:27:45 +02:00
ha_monitor.h rv: Add KUnit tests for some DA/HA monitors 2026-07-31 16:27:45 +02:00
instrumentation.h rv/include: Add instrumentation helper functions 2022-07-30 14:01:28 -04:00
kunit.h rv: Add KUnit mock for current 2026-07-31 16:27:45 +02:00
ltl_monitor.h rv: Add KUnit tests for some LTL monitors 2026-07-31 16:27:46 +02:00