Path	Lines of Code
test/cbmc/include/hash_stubs.h	13
test/cbmc/include/sigv4_annex.h	10
test/cbmc/include/sigv4_config.h	14
test/cbmc/include/sigv4_stubs.h	37
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/SigV4_AwsIotDateToIso8601_harness.c	16
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/SigV4_GenerateHTTPAuthorization_harness.c	81
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/copyHeaderStringToCanonicalBuffer_harness.c	22
test/cbmc/stubs/hash_stubs.c	20
test/cbmc/stubs/memcpy.c	24
test/cbmc/stubs/memmove.c	24
test/cbmc/stubs/sigv4_stubs.c	184
test/include/sigv4_config.h	8
test/unit-test/cmock_build.cmake	49
test/unit-test/sigv4_config.h	32
test/unit-test/sigv4_utest.c	969
tools/cmock/create_test.cmake	158