projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef48e6f) | patch
Disable regression if poly is not available (#7981)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 24 Jan 2022 22:54:18 +0000 (14:54 -0800)
committerGitHub <noreply@github.com>
Mon, 24 Jan 2022 22:54:18 +0000 (22:54 +0000)
commit449dd7e18f8be5b6c0246cff4664394e3c17df23
tree616ccd7f8b6c57e208ebb89ccf18e36ab995dd26tree
parentef48e6f4385ef6ff914ad102287e1dc409703718commit | diff
Disable regression if poly is not available (#7981)

This regression fails if poly is not available.
test/regress/regress0/proofs/proj-issue430-coverings-double-negation.smt2 diff | blob | history