Path	Lines of Code
test/cbmc/include/jobs_annex.h	25
test/cbmc/lib/summarize.py	101
test/cbmc/proofs.c	375
test/cbmc/run_proofs.sh	21
test/cbmc/stubs/JSON_SearchConst.c	17
test/cbmc/stubs/JSON_Validate.c	11
test/cbmc/stubs/strnlen.c	14
test/unit-test/catch_assert.h	39
test/unit-test/job_parser_utest.c	655
test/unit-test/jobs_utest.c	710
test/unit-test/ota_job_handler_utest.c	177
tools/cmock/create_test.cmake	115