8 lines
120 B
JSON
Executable File
8 lines
120 B
JSON
Executable File
{ "expected-missing-functions":
|
|
[
|
|
|
|
],
|
|
"proof-name": "Cellular_CommonRfOff",
|
|
"proof-root": "tools/cbmc/proofs"
|
|
}
|