Sākums Izpētīt Palīdzība
Pierakstīties
kindring
/
libpeer
1
0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Koks: f64717bfad
Atzari Tagi
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 10 mēneši atpakaļ
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 10 mēneši atpakaļ
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 10 mēneši atpakaļ
README.md 67da75dea5 初次提交 10 mēneši atpakaļ
callback_stubs.c 67da75dea5 初次提交 10 mēneši atpakaļ
get_time_stub.c 67da75dea5 初次提交 10 mēneši atpakaļ
httpHeaderStrncpy.c 67da75dea5 初次提交 10 mēneši atpakaļ
memmove.c 67da75dea5 初次提交 10 mēneši atpakaļ
strncpy.c 67da75dea5 初次提交 10 mēneši atpakaļ
transport_interface_stubs.c 67da75dea5 初次提交 10 mēneši atpakaļ

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.