Reverse switch -c for GCD
Bug #1281494 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| VerifyDTAPN |
Fix Released
|
Critical
|
Peter Gjøl Jensen | ||
Bug Description
Please, reverse the swtich for GCD. By default it should not be used, only if -c switch is set then it should run GCD.
Related branches
lp:~verifydtapn-contributers/verifydtapn/NoDefaultGCD
- Jiri Srba: Approve
- Mathias Grund Sørensen: Pending requested
- Jakob Taankvist: Pending requested
-
Diff: 125 lines (+14/-14)5 files modifiedsrc/Core/ArgsParser.cpp (+3/-3)
src/Core/TAPN/TimedArcPetriNet.cpp (+2/-2)
src/Core/VerificationOptions.hpp (+5/-5)
src/DiscreteVerification/DiscreteVerification.cpp (+3/-3)
src/main.cpp (+1/-1)
| Changed in verifydtapn: | |
| status: | New → Fix Committed |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in verifydtapn: | |
| status: | Fix Committed → In Progress |
| Changed in verifydtapn: | |
| status: | In Progress → Fix Committed |
| Changed in verifydtapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
The flag to "Fix Committed" is changed only after the branch is merged into the trunk.