projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80f7cf5) | patch
Disable regression that times out on debug (#3833)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 27 Feb 2020 03:15:04 +0000 (21:15 -0600)
committerGitHub <noreply@github.com>
Thu, 27 Feb 2020 03:15:04 +0000 (21:15 -0600)
commitcca153771119b70cbf01a3d05d8e2fd8d7e8636a
tree77e818f0cc69f0a592a973e08ebea309e7893f40tree
parent80f7cf5cd02ff5bb277657fd0adb616020bb9f65commit | diff
Disable regression that times out on debug (#3833)
test/regress/CMakeLists.txt diff | blob | history