- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Text files
path like ".*[.]txt"
23 files:

test/cbmc/proofs/MQTTAgent_Connect/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Subscribe/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_CommandLoop/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Publish/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Connect/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Terminate/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Ping/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Ping/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Subscribe/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Disconnect/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Init/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_ProcessLoop/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_CancelAll/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Terminate/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_ResumeSession/cbmc-proof.txt
test/cbmc/proofs/MQTTAgent_Unsubscribe/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Disconnect/cbmc-proof.txt
test/cbmc/proofs/MQTTAgentCommand_Publish/cbmc-proof.txt
test/unit-test/CMakeLists.txt
test/CMakeLists.txt
lexicon.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Hidden files and folders
path like ".*/[.][a-zA-Z0-9_]+.*"
7 files:

.github/CONTRIBUTING.md
.github/memory_statistics_config.json
.github/workflows/doxygen.yml
.github/workflows/release.yml
.github/workflows/ci.yml
test/cbmc/.gitignore
.gitmodules
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Documentation
path like ".*/docs/.*"
3 files:

docs/doxygen/style.css
docs/doxygen/layout.xml
docs/doxygen/include/size_table.md
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Sokrates scoping conventions
path like ".*/sokrates_conventions[.]json"
1 files:

sokrates_conventions.json
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Git history
path like ".*/git[-]history[.]txt"
1 files:

git-history.txt
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -