Path	Lines of Code
test/cbmc/include/core_json_annex.h	54
test/cbmc/include/skipGeneric.h	9
test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c	41
test/cbmc/proofs/JSON_Search/JSON_Search_harness.c	38
test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c	15
test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c	19
test/cbmc/proofs/skipCollection/skipCollection_harness.c	19
test/cbmc/proofs/skipEscape/skipEscape_harness.c	19
test/cbmc/proofs/skipNumber/skipNumber_harness.c	28
test/cbmc/proofs/skipSpace/skipSpace_harness.c	17
test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c	19
test/cbmc/proofs/skipString/skipString_harness.c	19
test/cbmc/proofs/skipUTF8/skipUTF8_harness.c	19
test/cbmc/stubs/skipAnyLiteral.c	7
test/cbmc/stubs/skipAnyScalar.c	12
test/cbmc/stubs/skipCollection.c	9
test/cbmc/stubs/skipDigits.c	16
test/cbmc/stubs/skipEscape.c	7
test/cbmc/stubs/skipGeneric.c	26
test/cbmc/stubs/skipNumber.c	7
test/cbmc/stubs/skipSpace.c	7
test/cbmc/stubs/skipSpaceAndComma.c	7
test/cbmc/stubs/skipString.c	7
test/cbmc/stubs/skipUTF8.c	7
test/unit-test/catch_assert.h	39
test/unit-test/core_json_utest.c	1428
test/unit-test/unity_build.cmake	33
tools/unity/create_test.cmake	68