-
Klaus Aehlig authored
Add a test that verifies that extRepr-equal states cannot be distinguished by updateLocksWaiting-transitions. To obtain extRepr-equal states, we compare each state to the one computed from its extensional representation. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
f8d6da22