Re: [PATCH v3 04/13] verification/rvgen: Add support for Hybrid Automata

Nam Cao
2025-12-25T01:05:43Z

Gabriele Monaco <gmonaco@redhat.com> writes:
> Add the possibility to parse dot files as hybrid automata and generate
> the necessary code from rvgen.
>
> Hybrid automata are very similar to deterministic ones and most
> functionality is shared, the dot files include also constraints together
> with event names (separated by ;) and state names (separated by \n).
>
> The tool can now generate the appropriate code to validate constraints
> at runtime according to the dot specification.
>
> Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

Reviewed-by: Nam Cao <namcao@linutronix.de>