External SAT back-end: handle whitespace at end of line gracefully#7222

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/7164-spacetautschnig/cbmc:bugfixes/7164-spaceCopy head branch name to clipboard