-
Klaus Aehlig authored
Add tests that verify the defining properties of safeUpdateLocksWaiting. 1.) If the state contains no pending request by the requester, then updateLocksWaiting and safeUpdateLocksWaiting coincide. 2.) safeUpdateLocksWaiting is idempotent on all states. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
f91388c3