Revision 3cb014b3
ID | 3cb014b3027e64e3ad5011928950805abe364782 |
Parent | c37ca7be |
Child | dd6514c9 |
Verify: liftM extRepr . readJSON . showJSON = Ok . extRepr
In other words, verify that for LockWaiting, the JSON encoding
can be decoded correctly up to observable indistinguishability.
Signed-off-by: Klaus Aehlig <aehlig@google.com>
Reviewed-by: Petr Pudlak <pudlak@google.com>
Files
- added
- modified
- copied
- renamed
- deleted