« Previous | Next » 

Revision 277c969f

Parent 381889dc
Child 1ca6b451

Added by Klaus Aehlig almost 8 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 <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences