[HWFlattenModules] Add support for verif.formal parent ops. #9984

dobios wants to merge 1 commit intomainllvm/circt:mainfrom

dev/dobios/inline-formal-opsllvm/circt:dev/dobios/inline-formal-opsCopy head branch name to clipboard