3 lines
128 B
INI
3 lines
128 B
INI
|
|
SPECIFICATION Spec
|
||
|
|
INVARIANTS TypeOK RetentionNamesOwned DeclaredDigestsRetained RetryPreservesTagIdentity
|
||
|
|
CHECK_DEADLOCK FALSE
|