Searching in test/pvs