search

dblotsky / stringfuzz

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

Output should be randomized if random seed is not specified #2

Closed mtrberzi closed 7 years ago

mtrberzi commented 7 years ago

For convenience when generating large numbers of cases, it would be useful to generate a random seed for the user if one is not set on the command line. Currently multiple invocations of the same command and arguments generate the same output.

mtrberzi commented 7 years ago

Thanks for pointing out --random in your email. That should accomplish this.