Details
-
Bug
-
Status: Closed
-
Major - P3
-
Resolution: Fixed
-
3.0.6, 3.1.8
-
None
-
Fully Compatible
-
ALL
-
Quint 9 09/18/15
Description
When deadlock detection results in a canceled request, no check is made that requests following the one involved in the deadlock can now be granted.