search

dblotsky / stringfuzz

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

Random-ast has option to create random word equations #38

Open FedericoAureliano opened 5 years ago

FedericoAureliano commented 5 years ago

I want to create word equations that don't have higher order functions or regular expressions for testing word equation solving. This does what I want.

dblotsky commented 5 years ago

I think this goes against the spirit of a "random AST" generator. It would now produce a "somewhat random" AST. What do you think about instead creating a word-equation generator, or augmenting the equality generator (maybe even renaming it to word-equation)?

FedericoAureliano commented 5 years ago

That's totally fair. I see it as a random AST with a restriction on the grammar. It's interesting to think about how the grammar (even the default one) affects "randomness".

I'll create a separate generator for word-equations :)

dblotsky commented 5 years ago

@FedericoAureliano you're completely right, the "randomness" is a debatable topic, since it's affected by so many factors (e.g. frequency of string arguments in definitions).

dblotsky commented 5 years ago

Please close the PR if you end up making a new generator instead.

dblotsky commented 5 years ago

@FedericoAureliano heyoo, is this PR still relevant?

FedericoAureliano commented 5 years ago

Haven't gotten around to making the separate word equation generator. It may be less useful than I initially expected it to be. I would be OK with deleting this pull request/branch.