kindring
67da75dea5
初次提交
|
před 2 měsíci | |
|---|---|---|
| .. | ||
| README.md | před 2 měsíci | |
| event_callback_stub.c | před 2 měsíci | |
| get_time_stub.c | před 2 měsíci | |
| memmove.c | před 2 měsíci | |
| network_interface_stubs.c | před 2 měsíci | |
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.