search

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
Other
20 stars 9 forks source link

stringfuzz should generate negative literals using unary negation #14

Closed dblotsky closed 6 years ago

dblotsky commented 6 years ago

So, -5 generates (- 5).