Closed axic closed 4 years ago
Only jsonParseStrict is in use (with one exception, SMTChecker tests are incorrectly using jsonParse).
jsonParseStrict
jsonParse
@chriseth any opinion?
No opinion...
Only
jsonParseStrict
is in use (with one exception, SMTChecker tests are incorrectly usingjsonParse
).