Turn off float constant folding in simplifier#349

peterschrammel wants to merge 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:turn-off-unsound-float-constant-foldingpeterschrammel/cbmc:turn-off-unsound-float-constant-foldingCopy head branch name to clipboard