Searched refs:aodv_peer_refresh (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_aodv.c74 /* TODO: test this: static int aodv_peer_refresh(struct pico_aodv_node *node, uint32_t seq) */
78 fail_if(aodv_peer_refresh(&node, 10) != 0); /* should succeed, because SYNC flag is not yet set... */
80 fail_if(aodv_peer_refresh(&node, 5) == 0); /* should FAIL, because seq number is lower... */
81 fail_if(aodv_peer_refresh(&node, 10) == 0); /* should FAIL, because seq number is still the same... */
82 fail_if(aodv_peer_refresh(&node, 15) != 0); /* should succeed, because seq number is now bigger... */
466 TCase *TCase_aodv_peer_refresh = tcase_create("Unit test for aodv_peer_refresh");
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_aodv.c80 static int aodv_peer_refresh(struct pico_aodv_node *node, uint32_t seq) function
135 if (node && (aodv_peer_refresh(node, long_be(seq)) == 0))

Completed in 85 milliseconds