Corrected instantiation of universal string constraints.#1150

peterschrammel merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

jasigal:fix/universal-constraint-instantiation#780jasigal/cbmc:fix/universal-constraint-instantiation#780Copy head branch name to clipboard