-
Petr Pudlak authored
We verify that 'readJSON . showJSON == Ok' and that maps are equal iff keys map to the same values. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
eb84f8ae
We verify that 'readJSON . showJSON == Ok' and that maps are equal iff keys map to the same values. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>