« Previous | Next » 

Revision cf7f8e51

Parent 2e1399da
Child 69809ae3

Added by Klaus Aehlig about 7 years ago

Verify implication restriction on locks

As specified in our design, if A is a group lock and B
belongs to A, then A must be earlier in the lock order
than B. Verify this property.

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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences