1{ "expected-missing-functions":
2  [
3    "vLoggingPrintf",
4    "xApplicationGetRandomNumber",
5    "xTaskGetTickCount"
6  ],
7  "proof-name": "DNSgetHostByName",
8  "proof-root": "tools/cbmc/proofs"
9}
10