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

..--

README.mdD18-Mar-2025233 75

agent_command_pool_stubs.hD18-Mar-20252.5 KiB628

agent_message_stubs.hD18-Mar-20252.4 KiB6412

core_mqtt_agent_config.hD18-Mar-2025115 30

core_mqtt_config.hD18-Mar-20253.8 KiB9211

get_time_stub.hD18-Mar-20251.6 KiB394

incoming_publish_callback_stub.hD18-Mar-20251.9 KiB456

mqtt_agent_cbmc_state.hD18-Mar-20254.1 KiB12112

network_interface_stubs.hD18-Mar-20252.5 KiB609

README.md

1CBMC proof include files
2========================
3
4This directory contains include files written for CBMC proof.  It is
5common to write some code to model aspects of the system under test,
6and the header files for this code go here.
7