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	38
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/proofs/lib/__init__.py	1
test/cbmc/proofs/lib/print_tool_versions.py	57
test/cbmc/proofs/lib/summarize.py	98
test/cbmc/proofs/run-cbmc-proofs.py	303
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	183
test/include/sigv4_config.h	23
test/unit-test/cmock_build.cmake	49
test/unit-test/sigv4_config.h	31
test/unit-test/sigv4_utest.c	986
tools/cmock/create_test.cmake	158