Home Explore Help
Sign In
kindring
/
libpeer
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: de2c325705
Branches Tags
libpeer
/
third_party
/
coreMQTT
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 5 months ago
..
README.md 67da75dea5 初次提交 5 months ago
event_callback_stub.c 67da75dea5 初次提交 5 months ago
get_time_stub.c 67da75dea5 初次提交 5 months ago
memmove.c 67da75dea5 初次提交 5 months ago
network_interface_stubs.c 67da75dea5 初次提交 5 months ago

README.md

CBMC proof stubs

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