Searching in SVIncCompil/Testcases/YosysTests/regression/issue_00810/src