« Previous | Next » 

Revision cf7f8e51

IDcf7f8e514b12a7437b9cff5687f5568d7103e26e
Parent 2e1399da
Child 69809ae3

Added by Klaus Aehlig over 6 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences