Searching in llvm/test/MachineVerifier