Revision 0d3308c2
ID | 0d3308c22328b5f7611e8c81cfc1f14d584f122e |
Parent | 1c362c1a |
Child | f8d6da22 |
Verify that extRepr-equal states behave equal on updateLocks
Add a test that verifies that extRepr-equal states cannot be
distinguished by updateLocks-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