LearnLib / alex

Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automata learning

Home Page:https://learnlib.github.io/alex/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Remove contraint for symbol names to be unique

abainczyk opened this issue · comments

  • replace with constraint that symbol names have to be unique in their group