Revision 69809ae3
| ID | 69809ae3c7018dfccbbe92535b784785d00684f0 |
| Parent | cf7f8e51 |
| Child | 61fd6337 |
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 <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted