projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9fd28a) | patch
Disable slow regression (#4157)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 26 Mar 2020 19:42:49 +0000 (14:42 -0500)
committerGitHub <noreply@github.com>
Thu, 26 Mar 2020 19:42:49 +0000 (14:42 -0500)
commitea8937689b097d41c70060ed17495feed5d6b95b
treed012e0b91fa70c155c6f1498db1faad965a53f62tree
parentc9fd28a391cfff767b899a65ad365742745910fecommit | diff
Disable slow regression (#4157)

Should fix timeout in asan build.
test/regress/CMakeLists.txt diff | blob | history