search

uuverifiers / ostrich

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

fix bug in postimage computation #78

Closed OliverMa1 closed 11 months ago

pruemmer commented 11 months ago

Thanks!