Re: [PATCH v2 09/14] verification/rvgen: Add selftests
From: Nam Cao
Date: Tue May 19 2026 - 09:05:32 EST
Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> The rvgen code generator needs validation to ensure it produces correct
> monitor implementations from input specifications.
>
> Add selftests with golden reference outputs covering all monitor classes
> (DA, HA, LTL) and types (global, per_cpu, per_task, per_obj), including
> optional features like descriptions and parent monitors. Container
> generation and error handling (missing files, invalid specifications,
> missing arguments) are also validated against expected output.
>
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>
Acked-by: Nam Cao <namcao@xxxxxxxxxxxxx>