projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fab7010) | patch
Disable slow regression (#4221)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 7 Apr 2020 01:58:17 +0000 (20:58 -0500)
committerGitHub <noreply@github.com>
Tue, 7 Apr 2020 01:58:17 +0000 (20:58 -0500)
commit5ce47c94e28028493ab648eabac4b21302b41129
treee6c135bbb05f7ae75911e07fbc52ee34fa2ba278tree
parentfab7010523fd2e635c2c9dfd382acdefdb96d6b4commit | diff
Disable slow regression (#4221)

Benchmark recently became slow, disable for now.
test/regress/CMakeLists.txt diff | blob | history