Re: [PATCH v3 12/17] rv: Add KUnit tests for some LTL monitors

[PATCH v3 00/17] rv: Add selftests to tools and KUnit tests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
[PATCH v3 01/17] rv: Use generic rv_this for the rv_monitor variable in LTL · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 01/17] rv: Use generic rv_this for the rv_monitor variable in LTL · Nam Cao <hidden> · 2026-07-02
[PATCH v3 02/17] tools/rv: Fix exit status when monitor execution fails · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
[PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Nam Cao <hidden> · 2026-07-02
Re: [PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Thomas Weissschuh <hidden> · 2026-07-02
Re: [PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Gabriele Monaco <gmonaco@redhat.com> · 2026-07-02
Re: [PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Thomas Weissschuh <hidden> · 2026-07-02
Re: [PATCH v3 03/17] verification/rvgen: Improve rv_dir discovery in RVGenerator · Nam Cao <hidden> · 2026-07-02
[PATCH v3 04/17] tools/rv: Add selftests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 04/17] tools/rv: Add selftests · Wen Yang <hidden> · 2026-06-28
Re: [PATCH v3 04/17] tools/rv: Add selftests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-29
[PATCH v3 05/17] verification/rvgen: Add golden and spec folders for tests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
[PATCH v3 06/17] verification/rvgen: Add selftests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 06/17] verification/rvgen: Add selftests · Wen Yang <hidden> · 2026-07-09
[PATCH v3 07/17] rv: Add KUnit stub to rv_react() and rv_*_task_monitor_slot() · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 07/17] rv: Add KUnit stub to rv_react() and rv_*_task_monitor_slot() · Nam Cao <hidden> · 2026-07-02
[PATCH v3 08/17] rv: Export task monitor slot and react symbols · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 08/17] rv: Export task monitor slot and react symbols · Nam Cao <hidden> · 2026-07-02
[PATCH v3 09/17] rv: Add KUnit tests for some DA/HA monitors · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 09/17] rv: Add KUnit tests for some DA/HA monitors · Nam Cao <hidden> · 2026-07-07
[PATCH v3 10/17] rv: Add KUnit stub for current · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
[PATCH v3 11/17] rv: Prevent unintentional tracepoints during KUnit tests · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 11/17] rv: Prevent unintentional tracepoints during KUnit tests · Wen Yang <hidden> · 2026-06-28
Re: [PATCH v3 11/17] rv: Prevent unintentional tracepoints during KUnit tests · Nam Cao <hidden> · 2026-07-07
Re: [PATCH v3 11/17] rv: Prevent unintentional tracepoints during KUnit tests · Gabriele Monaco <gmonaco@redhat.com> · 2026-07-07
[PATCH v3 12/17] rv: Add KUnit tests for some LTL monitors · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 12/17] rv: Add KUnit tests for some LTL monitors · Nam Cao <hidden> · 2026-07-07
[PATCH v3 13/17] verification/rvgen: Add the rvgen kunit subcommand · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 13/17] verification/rvgen: Add the rvgen kunit subcommand · Nam Cao <hidden> · 2026-07-09
[PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit · Wen Yang <hidden> · 2026-06-28
Re: [PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-29
Re: [PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit · Nam Cao <hidden> · 2026-07-09
Re: [PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit · Gabriele Monaco <gmonaco@redhat.com> · 2026-07-09
[PATCH v3 15/17] selftests/verification: Fix wrong errexit assumption · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 15/17] selftests/verification: Fix wrong errexit assumption · Nam Cao <hidden> · 2026-07-09
Re: [PATCH v3 15/17] selftests/verification: Fix wrong errexit assumption · Wen Yang <hidden> · 2026-07-09
[PATCH v3 16/17] selftests/verification: Rearrange the wwnr_printk test · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 16/17] selftests/verification: Rearrange the wwnr_printk test · Wen Yang <hidden> · 2026-07-09
[PATCH v3 17/17] selftests/verification: Add selftests for deadline and stall monitors · Gabriele Monaco <gmonaco@redhat.com> · 2026-06-25
Re: [PATCH v3 17/17] selftests/verification: Add selftests for deadline and stall monitors · Wen Yang <hidden> · 2026-06-28
Re: [PATCH v3 17/17] selftests/verification: Add selftests for deadline and stall monitors · Gabriele Monaco <gmonaco@redhat.com> · 2026-07-02

From: Nam Cao <hidden>
Date: 2026-07-07 07:04:48
Also in: lkml

Gabriele Monaco [off-list ref] 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@redhat.com>

Reviewed-by: Nam Cao <redacted>

`h`	back out one level
`j`	next message in thread
`k`	previous message in thread
`l`	drill in
`Esc`	close help / fold thread tree
`?`	toggle this help