Searched refs:check_original_map_did_not_change (Results 1 – 1 of 1) sorted by relevance
583 const auto check_original_map_did_not_change = [&](const char op[]) { in test_misc() local591 PetscCall(check_original_map_did_not_change("move assign")); in test_misc()594 PetscCall(check_original_map_did_not_change("test_insert()")); in test_misc()596 PetscCall(check_original_map_did_not_change("test_find()")); in test_misc()598 PetscCall(check_original_map_did_not_change("test_erase()")); in test_misc()604 PetscCall(check_original_map_did_not_change("move assign")); in test_misc()606 PetscCall(check_original_map_did_not_change("test_insert()")); in test_misc()608 PetscCall(check_original_map_did_not_change("test_find()")); in test_misc()610 PetscCall(check_original_map_did_not_change("test_erase()")); in test_misc()