Merge lp:~tapaal-contributor/verifypn/show-reduced-net into lp:verifypn
Proposed by
Thomas Pedersen
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 230 |
Merged at revision: | 230 |
Proposed branch: | lp:~tapaal-contributor/verifypn/show-reduced-net |
Merge into: | lp:verifypn |
Diff against target: |
17 lines (+0/-7) 1 file modified
src/VerifyPN.cpp (+0/-7) |
To merge this branch: | bzr merge lp:~tapaal-contributor/verifypn/show-reduced-net |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Peter Gjøl Jensen | Approve | ||
Review via email: mp+393699@code.launchpad.net |
Commit message
Removed restriction preventing the arguments -s OverApprox and -q 0 from being set at the same time.
This change was made to obtain the reduced net from the engine without running query reduction or verification. This relates to the GUI bug for opening the reduced net https:/
To post a comment you must log in.
Looks good to me.