Print the actual Expr for an add_requirement() that fails. - #9424

Sep 3, 2026

Print the actual Expr for an add_requirement() that fails.#9424
mcourteaux merged 2 commits into
mainfrom
mcourteaux/add-requirement-string

Put the actual printed IR in the requirement_failed string. The simplifier was simplifying it down to 'false'.