search

uuverifiers / ostrich

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

rewrite subtractLetters #93

Closed OliverMa1 closed 3 days ago

OliverMa1 commented 3 days ago

Previous method doesn't account for letters being bigger than the original max.