search

dblotsky / stringfuzz

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

Addressing issues #16, #14, and #20. #24

Closed dblotsky closed 6 years ago

dblotsky commented 6 years ago

@FedericoAureliano please review when you have a moment. Sorry that it's all in one PR. Please say if it's too big for review, and I can split it up into several PRs.

I'm working on the type-parsing now.

FedericoAureliano commented 6 years ago

It looks great! The only issue I can see is the comment I left.

FedericoAureliano commented 6 years ago

Merge away!