Error handling cleanup in solvers/floatbv#2945

danpoe merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

danpoe:refactor/error-handling-solvers-floatbvdanpoe/cbmc:refactor/error-handling-solvers-floatbvCopy head branch name to clipboard