projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 106e764) | patch
Disable test that fails in competition mode (#2063)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sun, 10 Jun 2018 02:13:28 +0000 (19:13 -0700)
committerGitHub <noreply@github.com>
Sun, 10 Jun 2018 02:13:28 +0000 (19:13 -0700)
commitf64824685c9342466249e1eabca53b5c04c0aed2
tree38a0a623599b99cbe0f80ea197015dd38dbda903tree
parent106e764a04e4099cc36d13de9cec47cbf717b6cccommit | diff
Disable test that fails in competition mode (#2063)

Commit 106e764a04e4099cc36d13de9cec47cbf717b6cc missed one test case.
This commit disables that test case for the competition build.
test/regress/regress1/error.cvc diff | blob | history