Commit f21ff016 authored by Klaus Aehlig's avatar Klaus Aehlig
Browse files

Strengthen progress property in lock waiting



Not only verify that after the blockers for one pending request
have gone, some request was honored, but also verify that it was
not a request by one of the blockers.
Signed-off-by: default avatarKlaus Aehlig <aehlig@google.com>
Reviewed-by: default avatarPetr Pudlak <pudlak@google.com>
parent 535fe92f
......@@ -188,7 +188,7 @@ prop_Progress =
(_, notified) = S.foldl releaseOneOwner (state', S.empty) blockers
in printTestCase "Some progress must be made after all blockers release\
\ their locks"
. not $ S.null notified
. not . S.null $ notified S.\\ blockers
testSuite "Locking/Waiting"
[ 'prop_NoActionWithPendingRequests
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment