Inicio Explorar Ayuda
Iniciar sesión
kindring
/
libpeer
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: c97a03780a
Ramas Etiquetas
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 hace 10 meses
..
HTTPClient_ReadHeader_llhttp_execute.c 67da75dea5 初次提交 hace 10 meses
HTTPClient_Send_llhttp_execute.c 67da75dea5 初次提交 hace 10 meses
README.md 67da75dea5 初次提交 hace 10 meses
callback_stubs.c 67da75dea5 初次提交 hace 10 meses
get_time_stub.c 67da75dea5 初次提交 hace 10 meses
httpHeaderStrncpy.c 67da75dea5 初次提交 hace 10 meses
memmove.c 67da75dea5 初次提交 hace 10 meses
strncpy.c 67da75dea5 初次提交 hace 10 meses
transport_interface_stubs.c 67da75dea5 初次提交 hace 10 meses

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.