tree f2bd2102289adc53a919ce59569cc184e42ea789
parent 2dab551d649cb57127f7b3bea183f069883d76e4
author Antonio Frighetto <me@antoniofrighetto.com> 1685976807 +0200
committer Antonio Frighetto <me@antoniofrighetto.com> 1685976898 +0200

[ConstraintElimination] Refactor `checkAndReplaceCondition` (NFC)

Handling `true` and `false` constant replacements is now abstracted
out into a single lambda function `ReplaceCmpWithConstant`, so as to
reduce code duplication.