Searching in src/Testcases/YosysTestSuite/unit/kernel