mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/
synced 2026-11-10 20:48:12 +00:00
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> |
History
|
|
|---|---|---|
| .. | ||
| automata.h | ||
| da_monitor.h | ||
| ha_monitor.h | ||
| instrumentation.h | ||
| kunit.h | ||
| ltl_monitor.h | ||