• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..--

README.mdD18-Mar-2025245 75

agent_command_functions_stub.cD18-Mar-20257.1 KiB200116

agent_command_pool_stubs.cD18-Mar-20251.7 KiB4312

agent_message_stubs.cD18-Mar-20253.6 KiB10962

core_mqtt_stubs.cD18-Mar-20256.9 KiB203129

get_time_stub.cD18-Mar-20251.9 KiB447

incoming_publish_callback_stub.cD18-Mar-20251.9 KiB4213

network_interface_stubs.cD18-Mar-20253.9 KiB11050

README.md

1CBMC proof stubs
2======================
3
4This directory contains the stubs written for CBMC proofs.  It is
5common to stub out functionality like network send and receive methods
6when writing a CBMC proof, and the code for these stubs goes here.
7