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.
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