{ "expected-missing-functions":
  [
    "vLoggingPrintf",
    "xApplicationGetRandomNumber",
    "vListInsertEnd",
    "vTaskSetTimeOutState",
    "vTaskSuspendAll",
    "xTaskGetTickCount",
    "xTaskResumeAll"
  ],
  "proof-name": "DNSgetHostByName_a",
  "proof-root": "tools/cbmc/proofs"
}