projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ae9a3c) | patch
Disable regression that is timing out (#5142)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 29 Sep 2020 00:54:25 +0000 (19:54 -0500)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 00:54:25 +0000 (17:54 -0700)
commit85c509bc5c4005861f9c393931b426a776d4c0d6
treeed32da17dd6d6332072e03869a4f6e567fcc90c2tree
parent0ae9a3cfd78bc2d0b8a603a21f2181038fab4880commit | diff
Disable regression that is timing out (#5142)

Seems to be timing out on 1/5 of our CI runs currently.
test/regress/CMakeLists.txt diff | blob | history