ty_mangled_name: only use non-mangled name if -Zcffi is enabled.#4114
Merged
carolynzech merged 2 commits intomodel-checking:mainfrom Jun 4, 2025
Merged
ty_mangled_name: only use non-mangled name if -Zcffi is enabled.#4114carolynzech merged 2 commits intomodel-checking:mainfrom
ty_mangled_name: only use non-mangled name if -Zcffi is enabled.#4114carolynzech merged 2 commits intomodel-checking:mainfrom
Commits
Commits on May 28, 2025
- committed
Carolyn Zech
Commits on Jun 4, 2025
- authoredCarolyn Zech