projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7dccb8) | patch
Disable timeout regressions (#6650)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 1 Jun 2021 14:59:41 +0000 (09:59 -0500)
committerGitHub <noreply@github.com>
Tue, 1 Jun 2021 14:59:41 +0000 (09:59 -0500)
commit320c48b1c82feb7a5d55af39d0cdbb7a1c2c6ff2
tree5c268c0c8ad7d568c8b0a9085e418b2c05a69e99tree
parente7dccb880f08e14004501c827cd1c199a936cb64commit | diff
Disable timeout regressions (#6650)

Disables two regressions that have been timing out causing nightlies to fail.
test/regress/CMakeLists.txt diff | blob | history