search

dblotsky / stringfuzz

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

stringfuzzx: IndexOf not supported when converting to smt25 #5

Closed mtrberzi closed 6 years ago

mtrberzi commented 6 years ago

The IndexOf operator, which exists in the smt20 language, cannot be converted to smt25. Attempting to do so throws an exception stringfuzz.generator.NotSupported.

The appropriate conversion for IndexOf in smt25 is str.indexof. The arguments do not need to be changed in any way, just the name of the operator.

dblotsky commented 6 years ago

@mtrberzi fixed. Please let me know if the issue persists.