Remove string solver iteration limit#1820

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/remove-string-solver-iteration-limitsmowton/cbmc:smowton/fix/remove-string-solver-iteration-limitCopy head branch name to clipboard