projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81740fe) | patch
Make string rewriter unit tests more robust (#2520)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 24 Sep 2018 19:48:56 +0000 (12:48 -0700)
committerGitHub <noreply@github.com>
Mon, 24 Sep 2018 19:48:56 +0000 (12:48 -0700)
commit10b73a8778f12ea8d955ad83d8cba3697eb2a168
treedbdc4c26750b8a4d9ea5eeb9fd5ad74bba271f20tree
parent81740fe7b76fea687695aee486e10f23fa62089fcommit | 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.
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history