{ "expected-missing-functions":
  [
  ],
  "proof-name": "OTA_GetStatistics",
  "proof-root": "test/cbmc/proofs"
}