liyi
f162b98f4f
GD32F427 更换系统由RT_thread 替换为FreeRTOS 。解决北向串口100ms通信延迟问题。
|
дней назад: 4 | |
|---|---|---|
| .. | ||
| HTTPClient_ReadHeader_llhttp_execute.c | дней назад: 4 | |
| HTTPClient_Send_llhttp_execute.c | дней назад: 4 | |
| README.md | дней назад: 4 | |
| callback_stubs.c | дней назад: 4 | |
| get_time_stub.c | дней назад: 4 | |
| httpHeaderStrncpy.c | дней назад: 4 | |
| memmove.c | дней назад: 4 | |
| strncpy.c | дней назад: 4 | |
| transport_interface_stubs.c | дней назад: 4 | |
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.