Domů Procházet Nápověda
Přihlásit se
kindring
/
libpeer
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: 67da75dea5
Větve Značky
libpeer
/
third_party
/
coreMQTT
/
test
/
cbmc
/
include
kindring 67da75dea5 初次提交 před 7 měsíci
..
README.md 67da75dea5 初次提交 před 7 měsíci
core_mqtt_config.h 67da75dea5 初次提交 před 7 měsíci
event_callback_stub.h 67da75dea5 初次提交 před 7 měsíci
get_time_stub.h 67da75dea5 初次提交 před 7 měsíci
mqtt_cbmc_state.h 67da75dea5 初次提交 před 7 měsíci
network_interface_stubs.h 67da75dea5 初次提交 před 7 měsíci

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.