1{
2  "ENTRY": "RecvFrom_CopyPacket",
3  "CBMCFLAGS":
4  [
5    "--unwind 1"
6  ],
7  "OBJS":
8  [
9    "$(ENTRY)_harness.goto",
10    "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Sockets.goto"
11  ],
12  "OPT":
13  [
14    "--export-file-local-symbols"
15  ],
16  "INC":
17  [
18    "$(FREERTOS_PLUS_TCP)/test/cbmc/include",
19    "$(FREERTOS_PLUS_TCP)/test/cbmc/proofs/utility"
20  ]
21}
22
23