Searching in systemverilog-plugin/tests/formal