1{
2  "ENTRY": "ReceiveRA",
3  "CBMCFLAGS":
4  [
5    "--unwind 2",
6    "--unwindset FreeRTOS_NextEndPoint.0:1",
7    "--nondet-static"
8  ],
9  "OPT":
10  [
11      "--export-file-local-symbols"
12  ],
13  "OBJS":
14  [
15    "$(ENTRY)_harness.goto",
16    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto",
17    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_RA.goto"
18
19  ],
20  "INC":
21  [
22    "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
23  ]
24}
25