Searching in src/tools/workspacelog