Re: [PATCH v2 06/20] verification/rvgen: Annotate DA functions with types

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:

> Functions in automata.py, dot2c.py and dot2k.py don't have type
> annotations and it can get complicated to remember how to use them.
>
> Add minimal type annotations.
>
> Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

Reviewed-by: Nam Cao <namcao@xxxxxxxxxxxxx>