search

dblotsky / stringfuzz

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

stringfuzzg should always specify the logic #16

Closed FedericoAureliano closed 6 years ago

FedericoAureliano commented 6 years ago

All string benchmarks should start with the line (set-logic QF_S).