Merge lp:~verifypn-stub/verifypn/ctl-flow into lp:verifypn
Proposed by
Jakob Dyhr
Status: | Merged |
---|---|
Approved by: | Jiri Srba |
Approved revision: | 182 |
Merged at revision: | 181 |
Proposed branch: | lp:~verifypn-stub/verifypn/ctl-flow |
Merge into: | lp:verifypn |
Diff against target: |
115 lines (+17/-40) 2 files modified
PetriEngine/options.h (+6/-6) VerifyPN.cpp (+11/-34) |
To merge this branch: | bzr merge lp:~verifypn-stub/verifypn/ctl-flow |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Approve | ||
Jakob Dyhr (community) | Needs Resubmitting | ||
Review via email: mp+324048@code.launchpad.net |
Commit message
Flag '-ctl' no longer force calls the ctl engine. Instead, the flag only sets the CTL algorithm.
Description of the change
We do this change to be able to call verifypn from the TAPAAL gui with either "-ctl zcero" or "-ctl local", without worrying about it changing the optimal flow in the verifypn main.
To post a comment you must log in.
Why, then there is no way to call the CTL engine on EF and AG queries?