Commit 07001e9

Daniel Kroening

authored

Merge pull request #993 from allredj/pr/improve-init-and-copy-of-strings

Improve constructor and copy of strings

2 parents d475cf1 + c61d095 commit 07001e9Copy full SHA for 07001e9

2 files changed

+252

-48

lines changed

+252

-48

lines changed

Comments

(0)