mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2026-08-03 19:53:53 +00:00
cb7edd2323
* AFR sync * AFR sync: CBMC * AFR sync: CBMC: remove .bak files * AFR sync: CBMC: more cleanup * Corrected CBMC proofs * Corrected CBMC patches * Corrected CBMC patches-1 * Corrected CBMC patches-2 * remove .bak files (3) Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>
21 lines
526 B
JSON
21 lines
526 B
JSON
{
|
|
"ENTRY": "CheckOptionsOuter",
|
|
"CBMCFLAGS":
|
|
[
|
|
"--unwind 1",
|
|
"--unwindset prvSingleStepTCPHeaderOptions.2:32"
|
|
],
|
|
"OBJS":
|
|
[
|
|
"$(ENTRY)_harness.goto",
|
|
"$(FREERTOS)/../FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/FreeRTOS_TCP_IP.goto",
|
|
"$(FREERTOS)/../FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/FreeRTOS_TCP_WIN.goto",
|
|
"$(FREERTOS)/../FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/FreeRTOS_Stream_Buffer.goto",
|
|
"$(FREERTOS)/Source/tasks.goto",
|
|
"$(FREERTOS)/Source/list.goto"
|
|
],
|
|
"DEF":
|
|
[
|
|
]
|
|
}
|