Domů Procházet Nápověda
Přihlásit se
kindring
/
libpeer
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: c97a03780a
Větve Značky
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 před 4 měsíci
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 před 4 měsíci
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 před 4 měsíci
README.md 67da75dea5 初次提交 před 4 měsíci
callback_stubs.c 67da75dea5 初次提交 před 4 měsíci
get_time_stub.c 67da75dea5 初次提交 před 4 měsíci
httpHeaderStrncpy.c 67da75dea5 初次提交 před 4 měsíci
memmove.c 67da75dea5 初次提交 před 4 měsíci
strncpy.c 67da75dea5 初次提交 před 4 měsíci
transport_interface_stubs.c 67da75dea5 初次提交 před 4 měsíci

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.