Skip to content

Use adjust_float_expression in simplify#2076

Closed
hannes-steffenhagen-diffblue wants to merge 1 commit intodiffblue:developfrom
hannes-steffenhagen-diffblue:floating_point_simplificiation

Commits

Commits on Apr 16, 2018