Searched refs:check_map_is_truly_empty (Results 1 – 1 of 1) sorted by relevance
416 const auto check_map_is_truly_empty = [&](map_type &map) { in test_erase() local449 PetscCall(check_map_is_truly_empty(map)); in test_erase()452 PetscCall(check_map_is_truly_empty(map)); in test_erase()457 PetscCall(check_map_is_truly_empty(map)); in test_erase()465 PetscCall(check_map_is_truly_empty(map)); in test_erase()469 PetscCall(check_map_is_truly_empty(map)); in test_erase()478 PetscCall(check_map_is_truly_empty(map)); in test_erase()488 PetscCall(check_map_is_truly_empty(map)); in test_erase()499 PetscCall(check_map_is_truly_empty(map)); in test_erase()505 PetscCall(check_map_is_truly_empty(map)); in test_erase()