We need to make sure that it parse any json. Does anyone knows good source of json specs?
Activity
dineshbhoopathy commentedon Mar 21, 2016
perhaps http://www.rfc-editor.org/rfc/rfc7159.txt ? and this https://github.com/json-schema/JSON-Schema-Test-Suite seems like a good candidate for testing.
buger commentedon Mar 22, 2016
I also found this one https://code.google.com/archive/p/json-test-suite
permalik commentedon Mar 11, 2025
@buger Is there still interest in completing this issue?
Thanks.
jsonparser re-sweep with translator gap fixes — 12 new lemmas
Item #3: apply path-conditions + variadic/multi-return + verify-safety