Acasă Explorează Ajutor
Autentificare
kindring
/
libpeer
1
0
Bifurcare 0
Fisiere Probleme 0 Trageți solicitările 0 Wiki
Arbore: de2c325705
Ramuri Etichete
libpeer
/
third_party
/
coreMQTT
/
test
/
cbmc
/
stubs
kindring 67da75dea5 初次提交 2 luni în urmă
..
README.md 67da75dea5 初次提交 2 luni în urmă
event_callback_stub.c 67da75dea5 初次提交 2 luni în urmă
get_time_stub.c 67da75dea5 初次提交 2 luni în urmă
memmove.c 67da75dea5 初次提交 2 luni în urmă
network_interface_stubs.c 67da75dea5 初次提交 2 luni în urmă

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.