FRET-FreeRTOS/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/test/cbmc/proofs/DNS/DNSgetHostByName/cbmc-viewer.json

{ "expected-missing-functions":
  [
    "vLoggingPrintf",
    "xApplicationGetRandomNumber",
    "xTaskGetTickCount"
  ],
  "proof-name": "DNSgetHostByName",
  "proof-root": "tools/cbmc/proofs"
}