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

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> 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@xxxxxxxxxx>

Reviewed-by: Nam Cao <namcao@xxxxxxxxxxxxx>