Searching in tests/prototest