liyi
f162b98f4f
GD32F427 更换系统由RT_thread 替换为FreeRTOS 。解决北向串口100ms通信延迟问题。
|
дней назад: 4 | |
|---|---|---|
| .. | ||
| Makefile | дней назад: 4 | |
| README.md | дней назад: 4 | |
| cbmc-proof.txt | дней назад: 4 | |
| cbmc-viewer.json | дней назад: 4 | |
| skipEscape_harness.c | дней назад: 4 | |
README.md
skipEscape proof
This directory contains a memory safety proof for skipEscape.
The proof runs in a few seconds and provides 100% coverage.
To run the proof.
- Add
cbmc,goto-cc,goto-instrument,goto-analyzer, andcbmc-viewerto your path; - Run
make; - Open
html/index.htmlin a web browser.