FreeRTOS-Plus/Test/CBMC/proofs/ARP/ARPGetCacheEntryByMac/ARPGetCacheEntryByMac_harness.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* FreeRTOS includes. */
#include "FreeRTOS.h"
#include "queue.h"

/* FreeRTOS+TCP includes. */
#include "FreeRTOS_IP.h"
#include "FreeRTOS_IP_Private.h"
#include "FreeRTOS_ARP.h"

void harness(){
	MACAddress_t xMACAddress;
	uint32_t ulIPAddress;
	eARPGetCacheEntryByMac( &xMACAddress, &ulIPAddress );
}