TG-2153 Add more String primitives to JBMC#1817

Merged

allredj merged 3 commits intodiffblue:developfrom allredj:string-primitives-for-exceptions

Feb 19, 2018

+319-74

Commits on Feb 19, 2018

Introduce more string primitives in JBMC
Joel Allred
committed
Add jbmc string primitives to CProverString
Joel Allred
committed
Update regression tests to use string primitives
Joel Allred
committed