Issue with double-quote character

[diepbp]

Hello,

I am using your stringfuzz and figure out a minor issue in generating tests.

When you generate tests with double-quote character " with language SMT2.5, it seems you forget to escape it into \". I found it in folders regex-small, regex-big, and regex-deep in your benchmark at http://stringfuzz.dmitryblotsky.com/benchmarks/, for example, regex-small-00037.smt25 containing (str.to.re """").

The issue leads to an error in running CVC4 when the solver handles the test.

Hope my comment useful. Best regards, Diep