Searching in src/tools/coverage-dump