Propagate transition names into xdot state-space. #16
Description
At the end of generating xdot state-space modify the resulting file, so that the transition names are used instead of their id.
{{ message }}
At the end of generating xdot state-space modify the resulting file, so that the transition names are used instead of their id.