201     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in basic_wmemcheck()
202     assert!(wmemcheck_state.write(0x1000, 4).is_ok());  in basic_wmemcheck()
203     assert!(wmemcheck_state.read(0x1000, 4).is_ok());  in basic_wmemcheck()
205     assert!(wmemcheck_state.free(0x1000).is_ok());  in basic_wmemcheck()
206     assert!(wmemcheck_state.mallocs.is_empty());  in basic_wmemcheck()
213     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in read_before_initializing()
221     assert!(wmemcheck_state.write(0x1000, 4).is_ok());  in read_before_initializing()
222     assert!(wmemcheck_state.free(0x1000).is_ok());  in read_before_initializing()
229     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in use_after_free()
230     assert!(wmemcheck_state.write(0x1000, 4).is_ok());  in use_after_free()
231     assert!(wmemcheck_state.write(0x1000, 4).is_ok());  in use_after_free()
232     assert!(wmemcheck_state.free(0x1000).is_ok());  in use_after_free()
246     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in double_free()
247     assert!(wmemcheck_state.write(0x1000, 4).is_ok());  in double_free()
248     assert!(wmemcheck_state.free(0x1000).is_ok());  in double_free()
273     assert!(wmemcheck_state.mallocs.is_empty());  in out_of_bounds_malloc()
280     assert!(wmemcheck_state.malloc(640 * 1024 - 24, 24).is_ok());  in out_of_bounds_read()
294     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in double_malloc()
309     assert!(wmemcheck_state.free(0x1000).is_ok());  in double_malloc()
316     assert!(wmemcheck_state.malloc(0x1000, 32).is_ok());  in error_type()
331     assert!(wmemcheck_state.free(0x1000).is_ok());  in error_type()
339     assert!(wmemcheck_state.update_stack_pointer(768).is_ok());  in update_sp_no_error()
341     assert!(wmemcheck_state.malloc(1024 * 2, 32).is_ok());  in update_sp_no_error()
342     assert!(wmemcheck_state.free(1024 * 2).is_ok());  in update_sp_no_error()
343     assert!(wmemcheck_state.update_stack_pointer(896).is_ok());  in update_sp_no_error()
345     assert!(wmemcheck_state.update_stack_pointer(1024).is_ok());  in update_sp_no_error()
354     assert!(wmemcheck_state.update_stack_pointer(0).is_ok());  in bad_stack_malloc()
375     assert!(wmemcheck_state.update_stack_pointer(0).is_ok());  in stack_full_empty()
377     assert!(wmemcheck_state.update_stack_pointer(1024).is_ok());  in stack_full_empty()
385     assert!(wmemcheck_state.write(70832, 1).is_ok());  in from_test_program()
386     assert!(wmemcheck_state.read(1138, 1).is_ok());  in from_test_program()