Simplify the use of --cmi, towards making it the default#3592

Open

nikswamy wants to merge 1 commit intomasterfrom

_nik_cmi_default

Commits on Oct 23, 2024

With --cmi, friend all interfaces for extraction, not just those with inline_for_extraction
nikswamy
committed