Merge lp:~tapaal-ltl/verifypn/ltl-neg-fix into lp:verifypn
Proposed by
Peter Gjøl Jensen
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 237 |
Merged at revision: | 238 |
Proposed branch: | lp:~tapaal-ltl/verifypn/ltl-neg-fix |
Merge into: | lp:verifypn |
Diff against target: |
40 lines (+8/-3) 1 file modified
src/PetriEngine/PQL/Expressions.cpp (+8/-3) |
To merge this branch: | bzr merge lp:~tapaal-ltl/verifypn/ltl-neg-fix |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
tapaal-ltl | Pending | ||
Review via email: mp+402994@code.launchpad.net |
Commit message
fixes issue with pushNegation that adds extra negation to outermost quantifier in each call.
Description of the change
fixes issue with pushNegation that adds extra negation to outermost quantifier in each call.
To post a comment you must log in.
Correctness recovered for P/T and CPN nets in LTL category - tested againt oracle.