diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-15 09:00:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-15 09:00:47 -0500 |
commit | eacb636406e609299b6e5b64e93f1cf5b73f4ba3 (patch) | |
tree | 19b6e928c0539c0285132f5cc018efd67c0458a2 /src/theory/strings/sequences_rewriter.cpp | |
parent | 681fece601a4f156f2d39b4813d16535b7e2cee3 (diff) |
Move regular expression inclusion test to RegExpEntail (#4310)
In preparation for rephrasing this inference as a rewrite.
Diffstat (limited to 'src/theory/strings/sequences_rewriter.cpp')
0 files changed, 0 insertions, 0 deletions