1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
{ "ENTRY": "ARPGetCacheEntryByMac", "CBMCFLAGS": [ "--unwind 7", "--nondet-static" ], "OBJS": [ "$(ENTRY)_harness.goto", "$(FREERTOS)/../FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/FreeRTOS_ARP.goto" ], "DEF": [ "ipconfigUSE_ARP_REVERSED_LOOKUP=1", "ipconfigARP_CACHE_ENTRIES=6" ] }