« Previous | Next » 

Revision 277c969f

ID277c969f0b4d9cc216e70bd1bdde6b97e552bdb6
Parent 381889dc
Child 1ca6b451

Added by Klaus Aehlig about 10 years ago

Add a test verifying that lock-implication is honored

Locks can be included in one another. This inclusion can be violated
in two ways, viz.,
- A holds a lock L and B holds an exclusive lock L belongs to, and
- A holds an exclusive lock and B holds a lock L belongs to.
Verify that this is not the case.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences