FreeRTOS-Plus/Test/CBMC/proofs/DHCP/DHCPProcess/cbmc-viewer.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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