projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f8caab) | patch
Disable slow sygus regression (#4232)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 9 Apr 2020 18:53:06 +0000 (13:53 -0500)
committerGitHub <noreply@github.com>
Thu, 9 Apr 2020 18:53:06 +0000 (13:53 -0500)
commit6bdea0970f018639b6c4173c0eab4d05273b4ab3
tree8be2a06a88290608f53404e0577366edf923e799tree
parent2f8caabd570dd5bb2936d9f094b7b302a510aa6dcommit | diff
Disable slow sygus regression (#4232)

A regress2 SyGuS benchmark is taking 110 seconds in production on my machine. This was likely caused by the recent update v1 -> v2, which impacts the internal representation and hence the search. Disabling for now.
test/regress/CMakeLists.txt diff | blob | history