Gabriele Monaco <[email protected]> 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 <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
