search

uuverifiers / ostrich

An SMT Solver for string constraints
Other
35 stars 8 forks source link

Don't prevent rematch in replace transducer #59

Closed matthewhague closed 1 year ago

matthewhague commented 1 year ago

When creating the transducer for a regex, after a match has finished, initImg was used to prevent the regex immediately matching again. This is not needed (after a single match, anything is accepted in replace).

Looks like a bad copy/paste/fix from replaceall where the case of an immediate second match after one match has ended needed special care.

Fixes #58

pruemmer commented 1 year ago

Great, thanks for the fast fix!