search

uuverifiers / ostrich

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

Underscore in regex pattern causes parse error #50

Closed amandasystems closed 2 years ago

amandasystems commented 2 years ago

Minimal failing example (online version):

(declare-const w String)
(assert (str.in.re w (re.from_ecma2020 '_')))
(check-sat)
pruemmer commented 2 years ago

The last commit should fix this problem!