Acasă Explorează Ajutor
Autentificare
kindring
/
libpeer
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Arbore: f64717bfad
Ramuri Etichete
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 6 luni în urmă
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 6 luni în urmă
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 6 luni în urmă
README.md 67da75dea5 初次提交 6 luni în urmă
callback_stubs.c 67da75dea5 初次提交 6 luni în urmă
get_time_stub.c 67da75dea5 初次提交 6 luni în urmă
httpHeaderStrncpy.c 67da75dea5 初次提交 6 luni în urmă
memmove.c 67da75dea5 初次提交 6 luni în urmă
strncpy.c 67da75dea5 初次提交 6 luni în urmă
transport_interface_stubs.c 67da75dea5 初次提交 6 luni în urmă

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.