Merge lp:~tapaal-dist-ctl/verifypn/escapeKey_issue_fix into lp:~verifypn-maintainers/verifypn/trunk
Proposed by
Søren Moss Nielsen
on 2016-08-04
Status: | Merged |
---|---|
Approved by: | Jiri Srba on 2016-08-07 |
Approved revision: | 92 |
Merged at revision: | 92 |
Proposed branch: | lp:~tapaal-dist-ctl/verifypn/escapeKey_issue_fix |
Merge into: | lp:~verifypn-maintainers/verifypn/trunk |
Diff against target: |
90 lines (+27/-5) 2 files modified
CTLParser/CTLParser_v2.cpp (+17/-5) CTLParser/CTLParser_v2.h (+10/-0) |
To merge this branch: | bzr merge lp:~tapaal-dist-ctl/verifypn/escapeKey_issue_fix |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | 2016-08-04 | Approve on 2016-08-07 | |
Review via email:
|
Commit message
Fixes the use of escape characters in query parsing of CTL queries.
Description of the change
Fixed the issue with formatting the query, using escape keys.
This means a query like the below will now work.
...
<place>
TAPN1.P0
</place>
...
To post a comment you must log in.
Looks fine.