23 lines
356 B
JSON
23 lines
356 B
JSON
{
|
|
"ENTRY": "vTCPWindowDestroy",
|
|
"CBMCFLAGS":
|
|
[
|
|
"--unwind 5",
|
|
"--nondet-static"
|
|
],
|
|
"OBJS":
|
|
[
|
|
"$(ENTRY)_harness.goto",
|
|
"$(FREERTOS_PLUS_TCP)/FreeRTOS_TCP_WIN.goto",
|
|
"$(FREERTOS_PLUS_TCP)/test/FreeRTOS-Kernel/list.goto"
|
|
],
|
|
"OPT":
|
|
[
|
|
"--export-file-local-symbols"
|
|
],
|
|
"DEF":
|
|
[
|
|
"ipconfigUST_TCP_WIN=1"
|
|
]
|
|
}
|