Bui Phi Diep

icon indicating a website link https://diepbp.github.io

icon location Uppsala, Sweden icon location PhD student at Uppsala University.

Results 1 issues of Bui Phi Diep

Issue with double-quote character

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