1{ "expected-missing-functions":
2  [
3    "vLoggingPrintf",
4    "xApplicationGetRandomNumber",
5    "vListInsertEnd",
6    "vTaskSetTimeOutState",
7    "vTaskSuspendAll",
8    "xTaskGetTickCount",
9    "xTaskResumeAll"
10  ],
11  "proof-name": "DNSgetHostByName_a",
12  "proof-root": "tools/cbmc/proofs"
13}
14