« Previous | Next » 

Revision 69809ae3

Parent cf7f8e51
Child 61fd6337

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


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences