On 6/25/26 20:14, Gabriele Monaco wrote:
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 <[email protected]> Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Wen Yang <[email protected]> -- Best wishes, Wen
