Lines Matching full:verify
31 from wpan import verify
129 verify(sender.was_successful)
138 # Verify that we do see entries in cache table for all the addresses and all are in "query" state
142 verify(len(addr_cache_table) == NUM_QUERY_ADDRS)
144 verify(entry.state == wpan.ADDRESS_CACHE_ENTRY_STATE_QUERY)
145 verify(not entry.can_evict())
146 verify(entry.timeout > 0)
147 verify(entry.retry_delay == INITIAL_RETRY_DELAY)
153 # Wait till all the address queries time out and verify they enter "retry-query" state.
159 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_RETRY_QUERY)
160 verify(cache_table[index].retry_delay == 2 * INITIAL_RETRY_DELAY)
170 verify(sender.was_successful)
184 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_RETRY_QUERY)
185 verify(cache_table[index].timeout == 0)
195 verify(sender.was_successful)
203 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_QUERY)
204 verify(cache_table[index].can_evict() == True)
211 # Verify snoop optimization.
217 verify(sender.was_successful)
218 verify(recver.was_successful)
223 # Also verify that only MAX_SNOOPED_NON_EVICTABLE of snooped entries are non-evictable.
225 verify(len(cache_table) >= NUM_ADDRESSES)
228 verify(cache_table[index].address == PREFIX + "2:" + str(NUM_ADDRESSES - index - 1))
229 verify(cache_table[index].rloc16 == r2_rloc)
230 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_SNOOPED)
232 verify(cache_table[index].can_evict() == True)
233 verify(cache_table[index].timeout == 0)
235 verify(cache_table[index].can_evict() == False)
236 verify(cache_table[index].timeout > 0)
244 verify(sender.was_successful)
245 verify(recver.was_successful)
251 verify(len(cache_table) >= NUM_ADDRESSES)
254 verify(cache_table[index].address == PREFIX + "2:" + str(NUM_ADDRESSES - index - 1))
255 verify(cache_table[index].rloc16 == r2_rloc)
256 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_CACHED)
268 verify(sender.was_successful)
269 verify(recver.was_successful)
277 verify(cache_table[index].address == PREFIX + "3:" + str(NUM_ADDRESSES - index - 1))
278 verify(cache_table[index].rloc16 == r3_rloc)
279 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_CACHED)
280 verify(cache_table[index].last_trans == 0)
288 verify(sender.was_successful)
289 verify(recver.was_successful)
296 verify(cache_table[index].address == PREFIX + "c3:" + str(NUM_ADDRESSES - index - 1))
297 verify(cache_table[index].rloc16 == r3_rloc)
298 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_CACHED)
301 verify(cache_table[index].last_trans == 0)
309 verify(sender.was_successful)
310 verify(recver.was_successful)
315 verify(cache_table[index].address == PREFIX + "2:" + str(NUM_ADDRESSES - index - 1))
316 verify(cache_table[index].rloc16 == r2_rloc)
317 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_CACHED)
323 verify(len(cache_table) == MAX_CACHE_ENTRIES)
328 verify(sender.was_successful)
332 verify(len(cache_table) == MAX_CACHE_ENTRIES)
334 # Send from c2 to r1 and verify that snoop optimization uses at most
341 verify(sender.was_successful)
342 verify(recver.was_successful)
346 verify(len(cache_table) == MAX_CACHE_ENTRIES)
349 verify(len(snooped_entries) == MAX_SNOOPED_NON_EVICTABLE)
352 verify(entry.rloc16 == c2_rloc)
353 verify(entry.state == wpan.ADDRESS_CACHE_ENTRY_STATE_SNOOPED)
354 verify(entry.can_evict() == False)
355 verify(entry.timeout > 0)
364 verify(sender.was_successful)
365 verify(recver.was_successful)
369 verify(len(cache_table) == MAX_CACHE_ENTRIES)
371 # Verify that c2 entries are now at the top of cache list.
374 verify(cache_table[index].address == PREFIX + "c2:" + str(NUM_ADDRESSES - index - 1))
375 verify(cache_table[index].rloc16 == c2_rloc)
376 verify(cache_table[index].state == wpan.ADDRESS_CACHE_ENTRY_STATE_CACHED)