GCD optimization should be disabled in the engine for AF, EG
Bug #1281243 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
The GCD optimization should be disabled for AF and EG queries (exit with error message).
This gives incorrect answer. See the attached net.
Related branches
lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD
- Jiri Srba: Approve
- Mathias Grund Sørensen: Approve (code)
- Jakob Taankvist: Pending requested
-
Diff: 47 lines (+20/-8)1 file modifiedsrc/DiscreteVerification/DiscreteVerification.cpp (+20/-8)
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
Revision history for this message
| Jiri Srba (srba) wrote | #3 |
| Changed in verifydtapn: | |
| status: | New → Fix Committed |
| Changed in verifydtapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
GCD for EF and AG queries that contain deadlock should be also disabled (again exit with an error message).