TG-2153 Add more String primitives to JBMC#1817

Merged

allredj merged 3 commits intodiffblue:developfrom

allredj:string-primitives-for-exceptions

Feb 19, 2018

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