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