1{
2    "ENTRY": "MatchingEndpoint",
3    "MAX_ENDPOINT_COUNT_LOOP": 3,
4    "CBMCFLAGS":
5    [
6      "--unwindset pxEasyFit.0:{MAX_ENDPOINT_COUNT_LOOP}",
7      "--nondet-static"
8    ],
9    "OBJS":
10    [
11      "$(ENTRY)_harness.goto",
12      "$(FREERTOS_PLUS_TCP)/source/FreeRTOS_Routing.goto"
13    ],
14    "INC":
15    [
16      "$(FREERTOS_PLUS_TCP)/test/cbmc/include"
17    ]
18  }