Path	Lines of Code
amazon-freertos/tools/cbmc/include/cbmc.h	12
amazon-freertos/tools/cbmc/patches/patch.py	19
amazon-freertos/tools/cbmc/patches/unpatch.py	7
amazon-freertos/tools/cbmc/proofs/CheckOptions/CheckOptions_harness.c	62
amazon-freertos/tools/cbmc/proofs/CheckOptions/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/CheckOptionsInner/CheckOptionsInner_harness.c	65
amazon-freertos/tools/cbmc/proofs/CheckOptionsInner/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/CheckOptionsOuter/CheckOptionsOuter_harness.c	71
amazon-freertos/tools/cbmc/proofs/CheckOptionsOuter/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/ParseDNSReply/ParseDNSReply_harness.c	91
amazon-freertos/tools/cbmc/proofs/ParseDNSReply/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/ProcessDHCPReplies/ProcessDHCPReplies_harness.c	40
amazon-freertos/tools/cbmc/proofs/ProcessDHCPReplies/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/ReadNameField/ReadNameField_harness.c	59
amazon-freertos/tools/cbmc/proofs/ReadNameField/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/SkipNameField/SkipNameField_harness.c	41
amazon-freertos/tools/cbmc/proofs/SkipNameField/cbmc-batch.yaml	4
amazon-freertos/tools/cbmc/proofs/make-common-makefile.py	144
amazon-freertos/tools/cbmc/proofs/make-proof-makefiles.py	224
amazon-freertos/tools/cbmc/proofs/make-remove-makefiles.py	14
amazon-freertos/tools/cbmc/windows/WinBase.h	1
amazon-freertos/tools/cbmc/windows/Windows.h	1
amazon-freertos/tools/cbmc/windows/direct.h	1