kindring
67da75dea5
初次提交
|
11 kuukautta sitten | |
|---|---|---|
| .. | ||
| README.md | 11 kuukautta sitten | |
| core_mqtt_config.h | 11 kuukautta sitten | |
| event_callback_stub.h | 11 kuukautta sitten | |
| get_time_stub.h | 11 kuukautta sitten | |
| mqtt_cbmc_state.h | 11 kuukautta sitten | |
| network_interface_stubs.h | 11 kuukautta sitten | |
README.md
CBMC proof include files
This directory contains include files written for CBMC proof. It is common to write some code to model aspects of the system under test, and the header files for this code go here.