Path	Lines of Code
CHANGELOG.md	39
CODE_OF_CONDUCT.md	4
MISRA.md	12
MigrationGuide.md	71
README.md	89
SECURITY.md	4
test/CMakeLists.txt	108
test/cbmc/include/README.md	5
test/cbmc/output/latest/html/README.md	3
test/cbmc/sources/README.md	5
test/unit-test/CMakeLists.txt	99
tools/coverity/README.md	72