blob: 82e9e2b4e96d363893a4c98b7e6365863070740b (
plain)
1
2
3
4
5
6
7
8
9
|
{ "expected-missing-functions":
[
"vLoggingPrintf",
"xApplicationGetRandomNumber",
"xTaskGetTickCount"
],
"proof-name": "DNSgetHostByName",
"proof-root": "tools/cbmc/proofs"
}
|