Cleanup error handling in solvers/qbf#2961

xbauch merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

xbauch:cleanup_qbfxbauch/cbmc:cleanup_qbfCopy head branch name to clipboard