GCD optimization should be disabled in the engine for AF, EG

Bug #1281243 reported by Jiri Srba on 2014-02-17
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
VerifyDTAPN
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

Revision history for this message
Jiri Srba (srba) wrote :
Revision history for this message
Jiri Srba (srba) wrote :

GCD for EF and AG queries that contain deadlock should be also disabled (again exit with an error message).

Changed in verifydtapn:
status: New → Fix Committed
Jiri Srba (srba) on 2014-06-22
Changed in verifydtapn:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers

Bug attachments