Home Verkennen Help
Inloggen
kindring
/
libpeer
1
0
Vork 0
Bestanden Issues 0 Pull-aanvragen 0 Wiki
Boom: c97a03780a
Aftakkingen Labels
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 11 maanden geleden
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 11 maanden geleden
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 11 maanden geleden
README.md 67da75dea5 初次提交 11 maanden geleden
callback_stubs.c 67da75dea5 初次提交 11 maanden geleden
get_time_stub.c 67da75dea5 初次提交 11 maanden geleden
httpHeaderStrncpy.c 67da75dea5 初次提交 11 maanden geleden
memmove.c 67da75dea5 初次提交 11 maanden geleden
strncpy.c 67da75dea5 初次提交 11 maanden geleden
transport_interface_stubs.c 67da75dea5 初次提交 11 maanden geleden

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.