search

uuverifiers / ostrich

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

Automaton parser #80

Closed OliverMa1 closed 8 months ago

OliverMa1 commented 8 months ago

Added a parser and some tests for "re.from_automaton".