首頁 探索 說明
登入
kindring
/
libpeer
1
0
複刻 0
Files 問題管理 0 合併請求 0 Wiki
目錄樹: de2c325705
分支列表 標籤列表
libpeer
/
third_party
/
coreHTTP
/
test
/
cbmc
/
include
kindring 67da75dea5 初次提交 11 月之前
..
README.md 67da75dea5 初次提交 11 月之前
callback_stubs.h 67da75dea5 初次提交 11 月之前
core_http_config.h 67da75dea5 初次提交 11 月之前
get_time_stub.h 67da75dea5 初次提交 11 月之前
http_cbmc_state.h 67da75dea5 初次提交 11 月之前
transport_interface_stubs.h 67da75dea5 初次提交 11 月之前

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.