-
Klaus Aehlig authored
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>
3cb014b3