verification/rvgen: Add selftests

Browse source

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.

Acked-by: Nam Cao <namcao@linutronix.de>
Reviewed-by: Wen Yang <wen.yang@linux.dev>
Link: https://lore.kernel.org/r/20260723074534.43521-9-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

...

This commit is contained in:

Gabriele Monaco 2026-07-23 09:45:25 +02:00

parent 655d48096d

commit 36c1af42e7

4 changed files with 145 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

4

tools/verification/rvgen/Makefile

View file

20

tools/verification/rvgen/tests/rvgen_container.t

View file

87

tools/verification/rvgen/tests/rvgen_monitor.t

View file

34

tools/verification/tests/engine.sh

View file