Searching in src/Testcases/Yosys/opt_share