stringfuzzx translate should not modify re.range arguments

dblotsky / stringfuzz

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

Other

20 stars 9 forks source link

Closed FedericoAureliano closed 6 years ago

FedericoAureliano commented 6 years ago

Sometimes terms like (re.range "i" "h") are generated.

Make it a command-line flag to enable this, and have it off by default.

I'll make a PR with the other two issues as well.

dblotsky commented 6 years ago

This should probably not be optional. We should always generate ranges correctly. What do you think?

FedericoAureliano commented 6 years ago

I figure that creating non-well-formed instances can be useful for debugging. I'm ok with just eliminating it though.

dblotsky commented 6 years ago

@FedericoAureliano can we close this issue?

FedericoAureliano commented 6 years ago

Yup!