Skip to content

simplifier: eliminate casts from bool to number#4904

Merged
kroening merged 1 commit intodevelopfrom
simplify_cast_from_boolean
Jul 25, 2019

Commits

Commits on Jul 24, 2019