17 lines
367 B
JSON
17 lines
367 B
JSON
{ "expected-missing-functions":
|
|
[
|
|
"vPortEnterCritical",
|
|
"vPortExitCritical",
|
|
"vSocketBind",
|
|
"vSocketClose",
|
|
"vTaskSetTimeOutState",
|
|
"xTaskGetTickCount",
|
|
"xTaskGetCurrentTaskHandle",
|
|
"xQueueGenericSend",
|
|
"xApplicationGetRandomNumber",
|
|
"vLoggingPrintf"
|
|
],
|
|
"proof-name": "DHCPProcess",
|
|
"proof-root": "tools/cbmc/proofs"
|
|
}
|