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
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://bugs.launchpad.net/tapaal/+bug/1879130

To post a comment you must log in.
Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

Looks good to me.

review: Approve
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/VerifyPN.cpp'
2--- src/VerifyPN.cpp 2020-10-19 19:47:58 +0000
3+++ src/VerifyPN.cpp 2020-11-13 10:06:58 +0000
4@@ -754,13 +754,6 @@
5 return ErrorCode;
6 }
7
8- if (options.strategy == PetriEngine::Reachability::OverApprox && options.queryReductionTimeout == 0)
9- {
10- // Conflicting flags "-s OverApprox" and "-q 0"
11- std::cerr << "Conflicting flags '-s OverApprox' and '-q 0'" << std::endl;
12- return ErrorCode;
13- }
14-
15 // simplification. We always want to do negation-push and initial marking check.
16 {
17 // simplification. We always want to do negation-push and initial marking check.

Subscribers

People subscribed via source and target branches