simplifier: use resultt<> instead of bool#6885

Closed

kroening wants to merge 1 commit intodevelopfrom

simplify_expr_resultt

Commits on May 26, 2022

simplifier: use resultt<> instead of bool
kroening
committed