projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 160b1f8) | patch
Disable unit tests without poly (#7844)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 21 Dec 2021 00:49:12 +0000 (16:49 -0800)
committerGitHub <noreply@github.com>
Tue, 21 Dec 2021 00:49:12 +0000 (00:49 +0000)
commit473ce2dbd6265f75c080086d523a9f6e598016d5
tree1feeedf652cb58131bf83e6d944dd37804e0ad86tree
parent160b1f8d35e7bf6441981db3176f18ce077046bdcommit | diff
Disable unit tests without poly (#7844)

This PR disables the new unit tests from #7829 when poly is not available.
test/unit/api/cpp/theory_arith_nl_black.cpp diff | blob | history