Home Explore Help
Sign In
kindring
/
libpeer
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 11 months ago
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 11 months ago
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 11 months ago
README.md 67da75dea5 初次提交 11 months ago
callback_stubs.c 67da75dea5 初次提交 11 months ago
get_time_stub.c 67da75dea5 初次提交 11 months ago
httpHeaderStrncpy.c 67da75dea5 初次提交 11 months ago
memmove.c 67da75dea5 初次提交 11 months ago
strncpy.c 67da75dea5 初次提交 11 months ago
transport_interface_stubs.c 67da75dea5 初次提交 11 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.