« Previous | Next » 

Revision 69809ae3

ID69809ae3c7018dfccbbe92535b784785d00684f0
Parent cf7f8e51
Child 61fd6337

Added by Klaus Aehlig almost 7 years ago

Verify the intervall property of GanetiLocks

According to the specification in our design, if A is a group
lock and B belogs to this group, then all locks between A and B
in the lock order also must belong to A. Verify this.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences