ostrich: fix bugs of replacee concrete word

uuverifiers / ostrich

An SMT Solver for string constraints

Other

35 stars 8 forks source link

Closed SimpleXiaohu closed 6 days ago

SimpleXiaohu commented 6 days ago

It seems that the word after failed matching is not recover properly

SimpleXiaohu commented 6 days ago

@matthewhague