Acasă Explorează Ajutor
Autentificare
kindring
/
libpeer
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Ramură: master
Ramuri Etichete
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
include
kindring 67da75dea5 初次提交 4 luni în urmă
..
README.md 67da75dea5 初次提交 4 luni în urmă
callback_stubs.h 67da75dea5 初次提交 4 luni în urmă
core_http_config.h 67da75dea5 初次提交 4 luni în urmă
get_time_stub.h 67da75dea5 初次提交 4 luni în urmă
http_cbmc_state.h 67da75dea5 初次提交 4 luni în urmă
transport_interface_stubs.h 67da75dea5 初次提交 4 luni în urmă

README.md

CBMC proof include files

This directory contains include files written for CBMC proof. It is common to write some code to model aspects of the system under test, and the header files for this code go here.