diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-24 12:48:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-24 12:48:56 -0700 |
commit | 10b73a8778f12ea8d955ad83d8cba3697eb2a168 (patch) | |
tree | dbdc4c26750b8a4d9ea5eeb9fd5ad74bba271f20 /src/theory/CMakeLists.txt | |
parent | 81740fe7b76fea687695aee486e10f23fa62089f (diff) |
Make string rewriter unit tests more robust (#2520)
This commit changes the unit test for the string rewriter to use the
extended rewriter instead of the regular rewriter to make it more
robust, e.g. to different orderings in conjunctions.
Diffstat (limited to 'src/theory/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions