Path	Lines of Code
test/cbmc/proofs/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c	25
test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c	20
test/cbmc/proofs/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c	26
test/include/shadow_config.h	8
test/unit-test/cmock_build.cmake	49
test/unit-test/shadow_utest.c	785
tools/cmock/create_test.cmake	158