StateIPCTest.ml contains a state json parser which is able to parse state jsons. This means that the parser in essence duplicates the parser in the ContractState module in JSON.ml.
StateIPCTest.ml should therefore be made to use the parser in JSON.ml.
StateIPCTest.ml contains a state json parser which is able to parse state jsons. This means that the parser in essence duplicates the parser in the ContractState module in JSON.ml.
StateIPCTest.ml should therefore be made to use the parser in JSON.ml.