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

Revision history for this message
Lena Ernstsen (lsaid) wrote :

The problem that is being fixed is ensuring that we parse everything from the query.

Before it would incorrectly accept a query such as "AF TAPN1.P0 = 0 jkdnj" by ignoring the last part of the query and it would return "AF TAPN1.P0 = 0".

« Back to merge proposal