Revision f8d6da22
ID | f8d6da221e262f8365d5f6e92c5ec7a7601949c9 |
Parent | 0d3308c2 |
Child | 07423850 |
Verify extRepr-equal states are equal on updateLocksWaiting
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>
Files
- added
- modified
- copied
- renamed
- deleted