Searching in systemverilog-plugin/tests/separate-compilation