Correctly handle SMT solver errors in loop acceleration code#5948

feliperodri merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

padhi-forks:acceleration_smt_fixpadhi-forks/cbmc:acceleration_smt_fixCopy head branch name to clipboard