Code review comment for lp:~tapaal-contributor/tapaal/manual-edit-parsing

Revision history for this message
Jiri Srba (srba) wrote :

Almost works, two small issues:

1. the text in case an unknown place/transition name is used says "... transitionswere used ..."
   so there is missing a space (separator)

2. if you misspell place name in a query, it show the name correctly, however, for misspelled transitions, it does not show the transition name (the list is empty)

review: Needs Fixing

« Back to merge proposal