On Thu, Aug 14, 2025 at 05:08:01PM +0200, Gabriele Monaco wrote: > Currently the automata parser assumes event strings don't have any > space, this stands true for event names, but can be a wrong assumption > if we want to store other information in the event strings (e.g. > constraints for hybrid automata). > > Adapt the parser logic to allow spaces in the event strings.
The current parser does have a few problems. Not all valid .dot files are accepted. I have a patch buried somewhere which removes the custom parser and instead uses a library. But then it adds a new dependency, so I'm not sure if it is worth.. Nam
