webui: fix ALT txt format parsing in AutomatonOutput (!40) · Merge requests · Algorithms Library Toolkit / webui-client · GitLab

Snippets Groups Projects

Merged Tomáš Pecka requested to merge issue-48 into staging 2 years ago

Mar 25, 2022
- webui: fix ALT txt format parsing in AutomatonOutput · f9faa6de
  Tomáš Pecka authored 2 years ago
  
  The parser was unable to deal with nested parentheses in names. Closes: #48
  Unverified
  
  f9faa6de