-
Klaus Aehlig authored
Verify that, on the image of extRepr, it holds extRepr . fromExtrRepr = id. In other words, verify that when obtain a lock waiting from an extensional representation, it has the same extensional representation. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
1c362c1a