Path	Lines of Code
test/cbmc/include/core_sntp_cbmc_state.h	13
test/cbmc/include/core_sntp_config.h	24
test/cbmc/include/core_sntp_stubs.h	32
test/cbmc/proofs/Sntp_CalculatePollInterval/Sntp_CalculatePollInterval_harness.c	11
test/cbmc/proofs/Sntp_ConvertToUnixTime/Sntp_ConvertToUnixTime_harness.c	13
test/cbmc/proofs/Sntp_DeserializeResponse/Sntp_DeserializeResponse_harness.c	20
test/cbmc/proofs/Sntp_Init/Sntp_Init_harness.c	27
test/cbmc/proofs/Sntp_ReceiveTimeResponse/Sntp_ReceiveTimeResponse_harness.c	21
test/cbmc/proofs/Sntp_SendTimeRequest/Sntp_SendTimeRequest_harness.c	18
test/cbmc/proofs/Sntp_SerializeRequest/Sntp_SerializeRequest_harness.c	15
test/cbmc/sources/core_sntp_cbmc_state.c	67
test/cbmc/stubs/core_sntp_stubs.c	150
test/unit-test/cmock_build.cmake	49
test/unit-test/core_sntp_client_utest.c	890
test/unit-test/core_sntp_config.h	23
test/unit-test/core_sntp_serializer_utest.c	583
test/unit-test/unity_build.cmake	33
tools/cmock/create_test.cmake	158