صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
kindring
/
libpeer
1
0
انشعاب 0
پرونده‌ها مشکلات 0 درخواست واکشی 0 ویکی
درخت: f64717bfad
شاخه‌ها تگ‌ها
libpeer
/
third_party
/
coreMQTT
/
test
/
cbmc
/
include
kindring 67da75dea5 初次提交 9 ماه پیش
..
README.md 67da75dea5 初次提交 9 ماه پیش
core_mqtt_config.h 67da75dea5 初次提交 9 ماه پیش
event_callback_stub.h 67da75dea5 初次提交 9 ماه پیش
get_time_stub.h 67da75dea5 初次提交 9 ماه پیش
mqtt_cbmc_state.h 67da75dea5 初次提交 9 ماه پیش
network_interface_stubs.h 67da75dea5 初次提交 9 ماه پیش

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.