search

Z3Prover / z3

The Z3 Theorem Prover
Other
9.96k stars 1.46k forks source link

Clear up inefficient code #7244

Closed CoolThi closed 1 month ago

CoolThi commented 1 month ago

Multiple if would confuse compilers to produce unnecessary branches. This patch clear it up.

NikolajBjorner commented 1 month ago

this is not used in a performance critical phase.