Lines Matching full:succeeds
1494 // does check that the search succeeds, and gets the right result,
