Ana Sayfa Keşfet Yardım
Giriş Yap
kindring
/
libpeer
1
0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki
Ağaç: f64717bfad
Dallar Biçim İmleri
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 11 ay önce
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 11 ay önce
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 11 ay önce
README.md 67da75dea5 初次提交 11 ay önce
callback_stubs.c 67da75dea5 初次提交 11 ay önce
get_time_stub.c 67da75dea5 初次提交 11 ay önce
httpHeaderStrncpy.c 67da75dea5 初次提交 11 ay önce
memmove.c 67da75dea5 初次提交 11 ay önce
strncpy.c 67da75dea5 初次提交 11 ay önce
transport_interface_stubs.c 67da75dea5 初次提交 11 ay önce

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.